Re: RES: /usr/lib vs /usr/libexec
In article <[🔎] 87psvqzmed.fsf@becket.becket.net> you wrote:
> I do believe you've missed the point. Splitting /usr from / helps in
> a teeny percentage of cases, and most of the cases where it "helps"
> that have been mentioned here, it actually doesn't. Yet, splitting
> /usr/lib, which is grotesquely huge and hard to deal with, is treated
> as an impossible thing, needing a great level of proof before it can
> be considered. This is very foolish.
Thats why we need proof that it helps. Nobody has provided any numbers,
here.
> If you are against unnecessary things, then geez, you should be
> getting rid of nearly every separate directory.
You missed the point. It is not about getting rid of directories it is about
creating a new one. And nobody has yet shown numbers which provide good
reasons to introduce the new dir (with all the hard work required for the
transition)
Gruss
Bernd
Reply to: