Re: correct way to move /usr to a new partition..
> > I have decided that I need more room for my Slink system... my 1GB linux
> > partition that stores my entire system is now over 80% full... I was
> > thinking of using another empty 1GB partition (/dev/hdb1 - currently
> > mounted as /linux2a) for /usr. My thinking is:
> > 1. as root, cp -r -p /usr /linux2a
> > 2. change fstab to mount /dev/hdb1 as /usr (with options set to
> > "defaults, errors=remount -ro" ???)
> > 3. rm /usr
> I am more cautious -- I would rename /usr to /old_usr rather than delete it.
> No need to paint yourself into a corner you can avoid.. delete it after a
> few days of it running perfectly. :)
That's a good suggestion - my question is: is there a linux utility to
compare directories / files to see if they are the same? Seems like I've
heard of one, but can't remember...