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@(protected)
> [sudo] password for karl:
> umount: /boot: not mounted
> karl@(protected)
> umount: boot: not mounted
> karl@(protected):/$
>
>   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

--
ubuntu-users mailing list
ubuntu-users@(protected)
Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-users