1 |
В Пн, 15/07/2019 в 11:06 -0400, Mike Gilbert пишет: |
2 |
> On Mon, Jul 15, 2019 at 10:33 AM Michael Orlitzky <mjo@g.o> |
3 |
> wrote: |
4 |
> > On 7/14/19 9:56 PM, William Hubbs wrote: |
5 |
> > > The ultimate goal is to turn this flag off in the 19.0 profiles, |
6 |
> > > we are |
7 |
> > > just preserving the current status in the earlier ones. |
8 |
> > > |
9 |
> > |
10 |
> > So, to be clear: the plan is to force a /usr merge after all? |
11 |
> > |
12 |
> |
13 |
> I don't anticipate that happening within 2019, so I doubt it would be |
14 |
> turned off in a "19.0" profile. |
15 |
> |
16 |
> I think Gentoo developers are rather split on the /usr merge, and I |
17 |
> suspect a council ruling will be necessary if the pro-usr-merge camp |
18 |
> wants to push it through. |
19 |
> |
20 |
|
21 |
A little offtop: is there a tracker bug for /usr merge related issues? |
22 |
I can't find one. |