[gentoo-user] copying the / partition
I wish to move the / partition, and separate /usr into a separate partition. One reason is to take advantage of a faster 10,000 RPM drive for system files. I am stuck on one issue (at least): do I need to copy /sys to the new / partition? Thank you for recent help with other issues. Alan You can know the name of a bird in all the languages of the world, but when you're finished, you'll know absolutely nothing whatever about the bird... So let's look at the bird and see what it's doing---that's what counts. Richard Feynman
Re: [gentoo-user] copying the / partition
On Tue, 4 Aug 2009 00:33:22 +1000, Alan E. Davis lngn...@gmail.com wrote: I wish to move the / partition, and separate /usr into a separate partition. One reason is to take advantage of a faster 10,000 RPM drive for system files. I am stuck on one issue (at least): do I need to copy /sys to the new / partition? No need to copy /sys and /proc, they are virtual filesystems filled up by the kernel. You have also to copy /dev, but to do so, you have to reboot into a livecd, as the mounted /dev is filled in by udev in a running system. HTH. Thank you for recent help with other issues. Alan You can know the name of a bird in all the languages of the world, but when you're finished, you'll know absolutely nothing whatever about the bird... So let's look at the bird and see what it's doing---that's what counts. Richard Feynman -- Xavier Parizet YaGB : http://gentooist.com GPG :DC81 6FEE 6EBE FCE4 1C18 202F E575 4A5D 036D 1408
Re: [gentoo-user] copying the / partition
Xavier Parizet writes: On Tue, 4 Aug 2009 00:33:22 +1000, Alan E. Davis lngn...@gmail.com wrote: I wish to move the / partition, and separate /usr into a separate partition. One reason is to take advantage of a faster 10,000 RPM drive for system files. I am stuck on one issue (at least): do I need to copy /sys to the new / partition? No need to copy /sys and /proc, they are virtual filesystems filled up by the kernel. Just make sure to create these directories. You have also to copy /dev, but to do so, you have to reboot into a livecd, as the mounted /dev is filled in by udev in a running system. Or you bind-mount the root file system to somewhere else, this gives you the original system without the things mounted on top of it: mount -o bind / /mnt cp -a /mnt/dev /newroot/ Or create the device nodes by hand, it's only two that are needed for udev to come up: mknod -m 660 /newroot/dev/console c 5 1 mknod -m 660 /newroot/dev/nullc 1 3 I _think_ you also could just copy the populated /dev, but I like to have only the necessary things in there, not everything that udev creates. Alex
Re: [gentoo-user] copying the / partition
Very interesting. Thank you. It worked swell. Alan You can know the name of a bird in all the languages of the world, but when you're finished, you'll know absolutely nothing whatever about the bird... So let's look at the bird and see what it's doing---that's what counts. Richard Feynman