There are lots of ways of doing this (moving /home).
Boot your PC. Do not
login to the GUI. You want home not-being-used as you make a copy of it.
<CTRL><ALT><F1> to get a terminal. Login as root.
Make a mountpoint for your new home partition, and then mount your new partition:
mount -t ext3 /dev/whatever_it_is /mnt/newhome
Copy (not Move, in case you mess things up) the old home to the new home, I like to do this with a "tar pipe" as this copies everything perfectly, preserving timestamps, permissions, ownerships etc.:
tar cf - . | (cd /mnt/newhome && tar xBfp -)
Wait while it copies.
Then unmount the new home, and mark the oldhome as such, by creating a file in it.:
Now you'll need to add an entry like this to fstab
so the new home is mounted at boot time:
/dev/whatever_it_is /home ext3 defaults 0 2
Now remount everything, according to what is in fstab
Your new home partition will be mounted "over" your old home directory. All should be well. Make sure you cannot
see the file /home/I_AM_OLD
If all is well (and you can also check /home
is properly mounted with the mount
command, with no parameters) then you can delete your old /home
directory, to save space on the root partition. Be very
login to your GUI.
Login to a <CTRL><ALT><F1> terminal as root.
Unmount your new home partition
Your old home will reappear. Cd to it and make sure you can see
the file /home/I_AM_OLD
before deleting everything in /home
, like this: (The pwd
is to make sure you really
are in /home
before you do a powerful, un-undoable deletion)
rm -rf *
Now remount your new home:
mount -t ext3 /dev/whatever_it_is /home
Login to your GUI
Check all your new free space with df -h