Re: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses?

On Thu, Apr 30, 2026 at 01:43:09PM +0200, Mechtilde Stehmann wrote:
> Hello all,
> 
> Am 30.04.26 um 11:35 schrieb Sean Whitton:
> > Chris Hofstaedtler [28/Apr  1:11pm +02] wrote:
> > > I haven't done a full calculation but it seems we could save 1MB in
> > > such an install just by deduplicating the copyright files. Someone
> > > else may be interested in running the same analysis on different
> > > install scenarios, say Live ISOs, Desktop installs, etc.
> > > 
> > > With my src:util-linux maintainer hat on, I'd welcome tooling and a
> > > corresponding policy change towards copyright file deduplication.
> > 
> > Thank you for the feedback.  Seems to me we can prioritise developer
> > time by adding more licenses to common-licenses, then, with the possible
> > exception of the AGPL.
> 
> This exception of the AGPL means we will only add 120 KB instead of 150 KB
> to /usr/share/common-licenses ?

In case my opinion counts:

I think AGPL is common enough and will still save developer time if
added to common-licenses, even if it's not present in the absolutely
minimum Debian system shown by Chris.

Thanks.