Personally I think that merging things into /usr is a major policy decision that is likely to contravene upstream installation locations. I wouldn't do it lightly, if at all.
On Thu, Apr 7, 2016 at 11:54 AM, Rich Freeman <ri...@gentoo.org> wrote: > On Thu, Apr 7, 2016 at 2:32 PM, M. J. Everitt <m.j.ever...@iee.org> wrote: > > In the spirit of hearing arguments for/against .. could someone with the > > appropriate 'fu' throw up a quick survey for those on this ML (and/or > > possibly the g-users?) to indicate a preference for a change to a > > flattened-/usr system? > > > > I did think re: the eudev "debate" that it was really hard to quantify > > the opinion for and against a change, and take it away from the vocal > > people that obviously feel passionately about their cause :) . > > > > By all means do so, but we can probably save the trouble and assume > that 95% of the respondents would prefer things remain as they are, > and probably 80% would suggest that Gentoo should fully support > systems without /usr mounted during early boot. > > Gentoo has become a fairly conservative distro, even more so when > everybody else dropped support for not running systemd. > > I personally think the /usr merge is a cleaner approach (and I'd go a > step further and merge sbin and bin), but it was rightly said that > many of the benefits of a merge only come when you do a lot of other > things as well. Of course, we could go ahead and do those things > later. > > I think the main immediate benefit of a usr merge is that it actually > reduces the risk of shebangs and such pointing to the wrong place (due > to compat links, and there only being one right place in general), and > it greatly consolidates the static stuff on the filesystem. > > -- > Rich > >
