Re: support for merged /usr in Debian
On Sun, 03 Jan 2016 10:14:14 -0800, Russ Allbery <rra@debian.org>
wrote:
>Note that mounting /usr early, something we *already do*, is separate from
>actually merging /usr with /bin and /lib. Once you mount /usr early, it's
>rather less important whether you actually merge the file systems. While
>it does let you do some interesting things, I see it as more of a cleanup.
How about being able to umount /usr in the running system for analysis
or fixes? I do this once in a while. It is disruptive and can be used
from a rescue system, granted, but I would miss that possibility.
Greetings
Marc
--
-------------------------------------- !! No courtesy copies, please !! -----
Marc Haber | " Questions are the | Mailadresse im Header
Mannheim, Germany | Beginning of Wisdom " | http://www.zugschlus.de/
Nordisch by Nature | Lt. Worf, TNG "Rightful Heir" | Fon: *49 621 72739834
Reply to: