On Fri, Apr 19, 2013 at 08:09:24PM +0100, Kevin Chadwick wrote: > > > /dev/mapper/debian-usr 4,6G 1,2G 3,2G 28% /usr > > > > There's no real need to have /usr separate from / > > You could potentially merge the two. > > Unless you follow the installer, best practice and the Filesystem > Hiearchical Standard then no not at all. > > Don't believe opinion as fact just because it's on a server hosted by > freedesktop.org. Rusty Russel and the FHS is a more authoritative (and > correct) source, I suggest you read it.
I am, as a matter of fact, subscribed to the FHS list. If you read the specification, you'll see that it does not in any way require /usr to be a *mountpoint*; it can be located on the root filesystem without any problems. It's actually the default partitioning method. Do you have any concrete reasons to have /usr separate from / ? It may be instructive to read http://lists.debian.org/debian-devel/2011/01/msg00152.html and the rest of the thread it is in. Also note that in jessie, I plan to mount /usr in the initramfs (the patches are already written) and to deprecate a separate /usr. This will make /usr available from before init starts (the immediate goal), and potential unification of / and /usr further down the line (jessie+1 or later). Regards, Roger -- .''`. Roger Leigh : :' : Debian GNU/Linux http://people.debian.org/~rleigh/ `. `' schroot and sbuild http://alioth.debian.org/projects/buildd-tools `- GPG Public Key F33D 281D 470A B443 6756 147C 07B3 C8BC 4083 E800 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
