Why so big?
mgb-ubuntu at yosemite.net
Sun May 18 22:31:46 UTC 2008
On Sun May 18 2008 15:18:11 Karl Larsen wrote:
> Mike Bird wrote:
> Mike your not thinking right. /boot is a DIRECTORY off of /. When I
> tried to umount it did the expected:
> karl at karl-desktop:/$ sudo umount /boot
> [sudo] password for karl:
> umount: /boot: not mounted
> karl at karl-desktop:/$ sudo umount boot
> umount: boot: not mounted
> karl at karl-desktop:/$
> It is not smart enough to say it's a directory but that is the
> problem. So I think your search for 4 Gb of free space is just not going
> to work.
I did not suggest that you use the procedure on your /boot. I suggested
that you use the procedure "for each of your mounts that is (a) a real
file system and (b) not the root file system." I illustrated with
my /boot, which is a mount point on most of my systems.
You have a rather unusual selection of mount points. I suggest you try
/f7home first, then /home, then /var/lock, then /var/run. They are
listed roughly in increasing likelihood that you'll need to take action
such as shutting down your desktop or rebooting in recovery mode.
More information about the ubuntu-users