Why so big?

[Mike Bird]

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.

Karl,

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.

--Mike Bird