too small linux partition?

[stayler]

Hey Scott,

If you moved all the directories and files from /dev/hda1 to /dev/hda7
there is simply the directory for /home that must be present in / in
order for /dev/hda7 to have a place to be mounted!  Without it there
will be no /home.  It takes up minimal space.  SO don't worry about
it...

On Tue, 11 Feb 2003 06:58:43 -0700, Dr. Jones wrote:

>Lonnie:
>
>Here's why, and maybe I don't need to umount it.
>
>Now, /home resides on /dev/hda7, yet, there is my old and now inactive /home
>folder on /dev/hda1. I want to remove /dev/hda1/home and thus clear the
>space it now occupies. I had hoped to do that by umounting /dev/hda7/home.
>
>Scott