On Mon, Sep 12, 2011 at 07:50:13PM +0200, Michael Schreckenbauer wrote: > Hi Alan,
> On Monday, 12. September 2011 17:17:37 Alan Mackenzie wrote: > > Hi, Michael. > > On Mon, Sep 12, 2011 at 05:33:34PM +0200, Michael Schreckenbauer wrote: > > > Hi Alan, > > Well, I'm a hacker. udev is free source, therefore fair game. I don't > > intend to put up with this nonsense without a fight. As far as I can > > make out, this is just one guy, Kay Sievers, who's on a power trip. Are > > there any indications at all that he actually talked to anybody in the > > wide world before making such a far reaching decision? > > On my current system, udev (164-r2) works without an earlily loaded /usr. > > Seemingly, later versions don't. That was why I was asking for somebody > > to identify one of these later versions for me. > it works for you, because your udev-rules need nothing from /usr/* > It's *not* udev requiring /usr, it's the scripts triggered by the rules. Ah. OK. Maybe I've misunderstood the whole thing. Could it be that there's no explicit requirement for early mounting of /usr, providing one has the discipline to keep everything needed for booting in the / partition? > > > Fixing udev to continue working with separate /usr is far from trivial > > > imo. Changing some paths is not the way to go for sure. > > Maybe, maybe not. > No, I wrote "for sure", because I *know* this. Sorry about that. > > > First of all, udev has to distinguish between "device not present" and > > > "script error of some kind". Failing scripts have to be queued somehow > > > for later execution. If a script keeps failing, it has to be removed > > > from that queue, with a message to syslog or something like that. If > > > udev needs a script in /usr/* to mount /usr then there's a > > > chicken-egg-problem, which could be hard to solve (if possible at all > > > without moving things from /usr/ to /). Note, that I am wild guessing > > > here, I did not study the udev sources or any related script/rule :) > Best, > Michael -- Alan Mackenzie (Nuremberg, Germany).
