Hi,
On Sun, 23 Dec 2018 00:36:52 +
Simon McVittie wrote:
> To be completely clear about the decision that Ian asked the technical
> committee to overrule:
>
> In all debootstrap versions since 1.0.102, merged /usr is the default (for
> all variants except --variant=buildd). This means that
On Dec 23, Simon McVittie wrote:
> An alternative to the usrmerge package might be to do this transition
> in an initramfs hook or something similar, which would guarantee that
> nothing else is concurrently altering /usr or the directories that are
> meant to be merged into it.
FWIW I tried
To be completely clear about the decision that Ian asked the technical
committee to overrule:
In all debootstrap versions since 1.0.102, merged /usr is the default (for
all variants except --variant=buildd). This means that new installations
of Debian buster using debian-installer will have
On Mon, 03 Dec 2018 at 17:45:11 +0100, Svante Signell wrote:
> On Sun, 2018-12-02 at 21:04 +0100, Marc Haber wrote:
> > moving hundreds of megabytes from /usr to / over time.
>
> This solution was proposed by GNU/Hurd several years ago, and was scrapped due
> to not being big enough player in the
On Wed, 05 Dec 2018 at 14:03:19 +0100, Svante Signell wrote:
> How about this case:
>
> - Make as default non merged-/usr for all buildds.
This has been done: I sent patches, which have been applied.
(This is actually implemented in two different places, either of which
would have been
[Please don't CC me on responses, and please follow up solely to -devel rather
than cross-posting.]
Please note in the following mail that I'm raising this *exclusively* as a
policy and procedures issue, *not* a technical issue. I would request that
people *please* focus on the policy and
6 matches
Mail list logo