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