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