Re: /lib and /usr/lib

[Falk Hueffner <falk.hueffner@student.uni-tuebingen.de>]

"Mikolaj J. Habryn" <2425f33@eris.rcpt.to> writes:

>   I've always made a habit of putting /usr on a separate partition to
> /. No particular reason, other than the usual arguments for a small
> root partition. Imagine my surprise when my alpha failed to boot one
> fine day a while ago.
> 
>   The problem was that libgpm moved from /lib to /usr/lib. And bash
> required it.

This was not intentional, but a bug. libgpm was always in /usr/lib,
and bash shouldn't have been linked to it. I've been bitten by it,
too. It should be fixed now.

>   I can't find anything in policy to say that all library dependencies 
> for binaries in /bin should be in /lib; should there be such a rule?
> Or shall we not support a separate /usr partition?

There is surely such a rule; if not in the policy, then in the FHS.

	Falk