The problem may be that you have too much in /. On my setup I have / as
only 200MB, and have /var and /tmp as 200MB too. /usr is 2GB, and the
remaining is /home. Spliting it up this way limits the amount of stuff in
/, and allows you to unmount /usr (where most of your apps are installed)
and graft in a larger one if need be. This also seperates /var and /tmp
from / so that if these partitions fill up (with log files likely) it
won't lock up your system.
Also if you want to graft in a larger partition under /home, you can do
that too.
The above is all for a workstation setup. If you are running a server you
would likely want additional partitions for mail, web content, etc.
Though this does not solve your problem, it shows how to avoid the
problem of root filling up in the future.
One way to solve your problem is to figure out which directory under /
has a lot of files in it (e.g. /usr/local), then move the contents of
that directory to some safe place (a.k.a. backup) then mount a new
partition (larger) on that now empty directory and copy the files back.
It may take some shuffling to create that new partition (you may also
need to boot from a boot disk to do your shuffling). It all epends on how
many partitions you have and how they are mounted. If you have only /,
and /home, you might need to temporarily come up with another large
capacity drive to effect this shuffling (e.g. a nfs drive, or Jazz).
>On Thu, 27 Jan 2000, 1stFlight ! wrote about, Need to grow my /
>partition:
>> When I built my linux box I accidentally made my / partition too
>small
>> ...is there any way to shrink one of my other partitions then grow
>my
>> rroot? Thanks
>>
-----------------
R. Haehnel
________________________________________________________________
YOU'RE PAYING TOO MUCH FOR THE INTERNET!
Juno now offers FREE Internet Access!
Try it today - there's no risk! For your FREE software, visit:
http://dl.www.juno.com/get/tagj.
