Re: moving directories to new partition

[Hamish Moffatt <moffatt@yallara.cs.rmit.edu.au>]

> I'd suggest that you consider putting more on your / partition (as opposed
> to less as you propose) and then freeing up some space elsewhere.

Something I find useful is to have a separate partition for local
stuff, like home directories, /usr/local etc. I create a separate
partition, then make symbolic links on the root file system.
(I mount the second partition as /local). I also moved root's
home directory to /home/root, which means that root doesn't have
a home directory in the event that /local won't mount, but this
isn't too serious for me.

The advantages, in my mind, are that you can
(a) reinstall the OS; although unnecessary with Debian, changing
    distributions perhaps. I developed this approach when I wanted
    to change from Slackware to Debian; move everything non-system
    to /local, then reformat and reinstall the root file system.

(b) Rootfs crashes mean you don't lose your local work.
(c) Feels nicely organised to me.


hamish


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-user-REQUEST@lists.debian.org . Trouble? e-mail to Bruce@Pixar.com