I suppose this is an off topic question, other than it's related to
disks...:) I find that my / partition is more full than I would like. I
like to keep extra space available in case something unexpected happens.
Here is the current setup:
Filesystem 1k-blocks Used Available Use% Mounted on
/dev/hda8 62187 48208 10768 82% /
/dev/hda1 7746 3955 3391 54% /boot
/dev/hdc5 495714 61545 408568 13% /home
/dev/hda10 1274632 690633 518135 57% /usr
/dev/hda7 46632 18515 25709 42% /var
Turns out /lib is taking about 30 megs, so my first idea is to make a new
partition for /lib. I have done this:
Filesystem 1k-blocks Used Available Use% Mounted on
/dev/hda8 62187 48208 10768 82% /
/dev/hda1 7746 3955 3391 54% /boot
/dev/hdc5 495714 61545 408568 13% /home
/dev/hda10 1274632 690633 518135 57% /usr
/dev/hda7 46632 18515 25709 42% /var
/dev/hda6 116630 30565 80043 28% /lib
I figured this was a good first step, because if anything went wrong, I
could just reboot and the old /lib directory would still be there....:)
(I have not put the /lib mount into /etc/fstab yet.)
So here are my questions, is it safe for me to do the following steps:
1. reboot to get /dev/hda6 unmounted (it's busy now, so umount does not
work)
2. mv /lib /lib.old
3. mkdir /lib
4. chmod 755 /lib
5. chown 0.0 /lib
6. mount /dev/hda6 /lib
7. rm -rf /lib.old {after testing}
Or am I going to run into trouble because /lib's files will be unavailable
for a bit while I enter these commands? Is there a better way to enlarge
/? In general how to you recommend changing partition sizes? Is this an
argument for not seperating directories into different partitions, since
it's harder to keep the free space evenly distributed?
Best Regards,
Robert Laughlin
