Re: [gentoo-project] Call for agenda items - Council meeting 2013-08-13

[Alexis Ballier <aballier@gentoo.org>]

On Thu, 1 Aug 2013 16:07:12 -0500
William Hubbs <williamh@gentoo.org> wrote:

> On Thu, Aug 01, 2013 at 04:04:34PM -0400, Alexis Ballier wrote:
> > On Wed, 31 Jul 2013 19:36:14 -0500
> > William Hubbs <williamh@gentoo.org> wrote:
> > [...]
> > > First, we will not have to worry any more about making sure all
> > > of the libraries needed by binaries in /{bin,sbin} are in /lib*.
> > > Also, we will not have to be concerned about programs on / trying
> > > to read data from /usr/share in early boot.
>  
>  First off, this is all related to Linux only, so keep that in mind
> when I answer below.
> 
> > Why are those programs in / in the first place ? If they can't work
> > without /usr they are sort of useless in /.
> 
> Not really. if you use an initramfs or some early boot mechanism like
> that to make sure / and /usr are mounted at the same time, that
> separation is irrelivant.

Exactly :) so for the sake of consistency these should be in /usr and
not be lying to be some core enough program that doesn't need /usr.

[...]
> > I have no opinion whether separate usr should be supported or not: I
> > have not been using this layout since years. However, I strongly
> > prefer some kind of consistency: The traditional layout with a
> > minimal / to boot or the usr move both have their advantages; if we
> > go for something in between we get none of them.
> 
> What we currently have is in between. To really make separate /usr
> work would require a /share top level directory, patching gettext at
> least to look in both /usr/share/locale and /share/locale, and who
> knows what else.

I haven't tried but I seriously hope gettext can provide non localized
strings if it cannot access the localized ones. This is the very
least I would expect from a system without /usr.

> I'm not advocating the /usr merge at this time, maybe later, but right
> now I just want to make it official that we do not support
> separate /usr without an early boot mechanism like an initramfs or
> the sep-usr flag on busybox under Linux.

An announcement to the users and a council decision telling the
developer community to try to support separate usr or not are different
things. I'm all for the former, and it has already been done I think,
but your request sounded more like the latter.

> > I think most of what is in / currently is maintained by
> > base-system@. base-system@, or the council, could decide to provide
> > a way to drop the self-contained / properly. Say, you have to
> > define a variable in make.conf, let's call it GENTOO_USR_MOVE, and
> > this variable would no-op gen_usr_ldscript (they waste space
> > if /usr is required anyway) and then some packages could decide to
> > install to /usr instead of / if this variable is set, etc. Once
> > this is ready, you can define this variable in the profiles and get
> > all the profit advertised by Fedora usr move.
> 
> (putting my base-system hat on)
> 
> I'm not sure why we would need a profile variable like you are
> suggesting.

The idea is to do things incrementally and opt-in. If all of a sudden
someone starts disabling gen_usr_ldscript and moving things to /usr,
I would bet there will be someone else yelling at him. If, on the other
hand, usr-moved systems have been in place for some time, are easy to
transition to, and nobody cares about maintaining a /usr barrier, I
would expect much less people to be against it being the default.
The variable also has the advantage that it makes it possible to
reverse course easily.

The end result will very likely be the same but one is perceived as
dictatorship and the other as democracy and freedom of choice :)

Alexis.