Groups | Search | Server Info | Login | Register

Groups > linux.debian.policy > #9329

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

Cross-posted to 3 groups.

Show all headers | View raw

Santiago Vila <sanvila@debian.org> writes:

> The base-files package has not had any new license added in a lot of
> years, while the rest of the system has continued to grow exponentially,
> as usual. Note that I'm using the word "exponentially" here in the pure
> mathematical sense, not in the English sense that "it grows too much".

> Most licenses are not really large files by today's standards.

> To be consistent, compressing licenses would force all references to
> be changed to the compressed version, IMO for very little gain.

> I'm more concerned about people copying and pasting the same licenses
> over and over again into debian/copyright, as pointed out by Mechtilde.

> Therefore, please do not worry about the increased size in the
> installed size of base-files after this proposal is approved.
> I think we definitely can afford it.

Yeah, I agree with this position. I think license texts are small even by
the standards of embedded systems these days. Disk space growth has
continued since previous rounds of this discussion, human time is more
valuable than a few extra bytes of disk consumption, and we're talking
about on the order of 1MiB at most (I suspect less than that). Compared to
the size of the Debian base image, this is very small.

Folks who actively work on embedded Debian should of course feel free to
correct me, but my recollection of past discussions is that they had
roughly the same position.

I think even in the worst case scenario of a system with a ton of Debian
chroots, the incremental size here is highly unlikely to be a significant
factor compared to, e.g., normal growth in the size of the utilities in
the base image. And of course the local system administrator can always
rm -r /usr/share/common-licenses if they really want to. (I doubt anything
important uses files there at runtime.)

-- 
Russ Allbery (rra@debian.org)              <https://www.eyrie.org/~eagle/>

Back to linux.debian.policy | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Bug#1135097: Please extent list of licenses named in chapter 12.5 Mechtilde Stehmann <mechtilde@debian.org> - 2026-04-27 17:10 +0200
  Bug#1135097: Please extent list of licenses named in chapter 12.5 Simon Josefsson <simon@josefsson.org> - 2026-04-27 22:50 +0200
    Bug#1135097: Please extent list of licenses named in chapter 12.5 Mechtilde Stehmann <mechtilde@debian.org> - 2026-04-28 08:40 +0200
  Bug#1135097: Please extent list of licenses named in chapter 12.5 Simon Josefsson <simon@josefsson.org> - 2026-04-27 23:00 +0200
  Bug#1135097: Please extent list of licenses named in chapter 12.5 Simon Josefsson <simon@josefsson.org> - 2026-04-28 10:10 +0200
  Bug#1135097: Please extent list of licenses named in chapter 12.5 Andrey Rakhmatullin <wrar@debian.org> - 2026-04-28 11:30 +0200
  Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Holger Levsen <holger@layer-acht.org> - 2026-04-28 12:20 +0200
    Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Peter Blackman <peter@pblackman.plus.com> - 2026-04-28 14:30 +0200
      Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Andrey Rakhmatullin <wrar@debian.org> - 2026-04-28 14:40 +0200
        Bug#1135097: Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Bill Allombert <ballombe@debian.org> - 2026-04-28 15:40 +0200
      Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Santiago Vila <sanvila@debian.org> - 2026-04-28 15:30 +0200
        Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Russ Allbery <rra@debian.org> - 2026-04-28 18:40 +0200
          Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Chris Hofstaedtler <zeha@debian.org> - 2026-04-28 20:20 +0200
        Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Simon Josefsson <simon@josefsson.org> - 2026-04-29 11:50 +0200
          Bug#1135097: Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Bill Allombert <ballombe@debian.org> - 2026-04-29 12:10 +0200
            Bug#1135097: Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Simon Josefsson <simon@josefsson.org> - 2026-04-29 12:20 +0200
          Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Russ Allbery <rra@debian.org> - 2026-04-29 19:50 +0200
  Bug#1135097: Please extent list of licenses named in chapter 12.5 Holger Levsen <holger@layer-acht.org> - 2026-04-28 12:20 +0200
  Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Chris Hofstaedtler <zeha@debian.org> - 2026-04-28 13:20 +0200
    Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Marco d'Itri <md@Linux.IT> - 2026-04-28 16:20 +0200
    Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Santiago Vila <sanvila@debian.org> - 2026-04-30 14:00 +0200
      Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Bill Allombert <ballombe@debian.org> - 2026-05-01 16:30 +0200
        Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Santiago Vila <sanvila@debian.org> - 2026-05-01 17:10 +0200
          Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Charles Plessy <plessy@debian.org> - 2026-05-02 04:30 +0200
          Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses? Chris Hofstaedtler <zeha@debian.org> - 2026-05-04 21:50 +0200

csiph-web