| 1 |
On Sun, Apr 08, 2012 at 03:04:22PM -0700, Greg KH wrote: |
| 2 |
> On Sun, Apr 08, 2012 at 04:30:01PM +0200, Ulrich Mueller wrote: |
| 3 |
> > New udev and separate /usr partition |
| 4 |
> > ==================================== |
| 5 |
> > Decide on whether a separate /usr is still a supported configuration. |
| 6 |
> > If it is, newer udev can not be stabled and alternatives should be |
| 7 |
> > investigated. If it isn't, a lot of documentation will have to be |
| 8 |
> > updated. (And an alternative should likely still be provided.) |
| 9 |
|
| 10 |
There is no disagreement about whether or not separate /usr will be |
| 11 |
supported. No one has said that you can't have a separate /usr |
| 12 |
partition. |
| 13 |
|
| 14 |
Was the council aware of the tracker bug we have open where we are |
| 15 |
tracking the documentation changes explaining how to build an initramfs |
| 16 |
if you have a separate /usr partition [1]? |
| 17 |
|
| 18 |
Also, I am going to reiterate what Greg said. This is not an issue with |
| 19 |
udev, but with the entire linux ecosystem. |
| 20 |
There are binaries in /{bin,sbin} which link against libraries in |
| 21 |
/usr/lib for example. |
| 22 |
|
| 23 |
Also, with the appropriate documentation changes, which are being worked |
| 24 |
on (see [1]), I feel that the statement above that newer udev can't be |
| 25 |
stabled should be re-evaluated. |
| 26 |
|
| 27 |
William |
| 28 |
|
| 29 |
[1] https://bugs.gentoo.org/show_bug.cgi?id=407959 |
Archives