was Re: migrating /home to a new partition

[ben <ben_foley@web.de>]

On Fri, 14 Nov 2003 11:11:27 +0000
Randy Orrison <randy@orrison.com> wrote:

> Jacob S. wrote:
> much good advice.  Just a couple little tips that might make things
> easier:
> 
> > Once you're satisfied that everything's
> > on /new_home, "rm -r /home" (Note: there's no turning back after you
> > enter that command... double and triple check that things are like
> > you want before you delete the old /home),
> 
> If you have enough space on your root partition (assuming that's where
> 
> /home was) to leave the original /home directory and files around for
> a while, you can just
> # mv /home /home.old
> # chmod 0 home.old
> before you
> # mkdir /home
> That will keep the files around, but prevent anything from using them.
> 
> > It can also be done without using a boot floppy/cd, but it's a lot
> > harder because you are deleting files that might be in use currently
> > for any users that are logged in, etc. The use of a boot floppy/cd
> > is strongly recommended!
> 
> # telinit s
> will bring the system to single user mode and shut down most services.
> # lsof | grep /home
> will tell you if any processes have files open in /home  (you might
> need to apt-get install lsof)
> # telinit 2
> will bring it back up to multi-user mode
> 
> That's one of the (many) nice things about Linux -- you rarely need to
> 
> reboot for normal maintainance.
> 
> Randy
> 

thanks to all of you. it seemed a trifle risky initially but turned out
just fine. thanks to your combined help the migration has been achieved.

ben