Separate /home partition
clanlaw at googlemail.com
Tue Nov 16 09:47:35 UTC 2010
On 16 November 2010 02:22, Mark <mhullrich at gmail.com> wrote:
> On Mon, Nov 15, 2010 at 5:24 PM, P Echo <p.echo926 at gmail.com> wrote:
>> Hmmm, yes. Easy to do but a little more complicated than that one
>> sentence suggests.
> Only if you make it more complicated.
>> Here is a good guide.
>> It's a few years old, but I think still valid.
> It's fine, but it is more complicated.
> All you have to do is create & format the partition ("Format the new disk"),
> Mount the partition other than as /home and copy all the files from
> /home to the new partition ("copy the files from /home"),
What about files in /home that may be currently in use?
Is .gvfs a problem here?
> Unmount the new partition and change your /etc/fstab, to reflect the
> new /home so it will mount at boot time ("and change it to /etc/fstab
> with the new path") and reboot (or you can get away with shutting down
> to level 1 and coming back up, but why bother).
> Other than filling in the implied missing steps, that "one sentence"
> says it all.
> If this is done at run level 1, a reboot is not required. After
> changing the fstab, you can 'mount -a' and bring it up to run level 5.
I am not sure that the majority of users would know this meant, even
if it were correct.
More information about the ubuntu-users