Forums before death by AOL, social media and spammers... "We can't have nice things"
|    alt.os.linux.mandriva    |    Somewhat decent but also getting bloated    |    29,919 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 28,970 of 29,919    |
|    Aragorn to All    |
|    Re: Moving /usr to a new partition    |
|    06 Feb 13 23:37:38    |
      From: stryder@telenet.be.invalid              On Wednesday 06 February 2013 16:59, Grimble conveyed the following to       alt.os.linux.mandriva...              > Unfortunately I have to move /usr to a new partition (I started to do       > something with GNU Radio, and urpmi has been very busy!)       > Would someone be kind enough to cast a critical eye over the following       > to a) make sure I'm doing the right things       > b) suggest something I ought to do.       > I have created a new partition, sda12, currently with mount point       > /newusr       >       > This is an extract from /etc/fstab:       > # Entry for /dev/sda9 :       > UUID=ac5349a0-8563-4a4e-b9ad-24a316cb309c / ext4 defaults 1 1       > # Entry for /dev/sda12       > UUID=3cef6111-eb18-4167-8390-821e6a4c43f9 /newusr ext4 acl,relatime 1       > 2       >       > I propose to do the following       > cd /usr       > rsync -a */ /newusr # Keeps symlinks, times, owners, copies contents       > of /usr       >       > edit /etc/fstab:       > UUID=3cef6111-eb18-4167-8390-821e6a4c43f9 /usr ext4 defaults 1 2       > Reboot to Live disk       > mount /dev/sd9 /mnt/usr       > |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca