"Mikolaj J. Habryn" <[EMAIL PROTECTED]> 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
