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

Andreas Metzler <[email protected]> Wed, 29 Apr 2026 06:33:44 +0200
Newsgroups gmane.linux.debian.devel.policy
Message-ID <afGKKHiv4CxUi2Wz__49656.7266572797$1777437327$gmane$org@argenau.bebt.de>
On 2026-04-28 Salvo Tomaselli <[email protected]> wrote:
> > Those 100 could easily be packages that most systems don't have
> > installed -- or, in particular, that systems that are trying to be
> > really small almost never have installed.
> >
> > Really we need to hear from the people who are trying to make the
> > minimal install of Debian small.  That's not me.

> I was one of these people. I just deleted /usr/share/doc entirely so I
> don't think a couple kb more in there would make any difference.
> Certainly it wouldn't have made it for me.


We are talking about /usr/share/common-licenses which is not in
/usr/share/doc ;-)

cu Andreas