Hi, I think this too, that is better move /usr/lib to /mnt but FHS will be adopted and /usr/doc will be added to /usr/share, giving a total of: 250+264=514 against 505 of /usr/lib. So it's better move /usr/share, or not? Thanks, PH Bob Nielsen wrote:
> I'd recommend moving /usr/lib, since it is the largest other than > /usr/local, which you already have on a separate partition. Possibly > /usr/share would be a good choice, as I think it will grow substantially > when the FHS is fully adopted. > > Bob > > On Tue, Jul 27, 1999 at 09:57:51AM +0000, Paulo Henrique Baptista de Oliveira > wrote: > > Hi all, > > I have a /mnt partition in /dev/hda1 in the beggining of my disk > > (so I > > cant delete it and make 2, or not?) and a / partition full. My df -h shows > > the > > following: > > /dev/hda3 1.9G 1.7G 59M 97% / > > /dev/hda4 926M 785M 94M 89% /usr/local > > /dev/hda1 994M 464M 479M 49% /mnt > > My du -s /usr/* shows the following: > > > > 190778 X11R6 > > 142719 bin > > 1 dict > > 263967 doc > > 1 etc > > 15448 games > > 40 i486-linuxlibc1 > > 20063 include > > 12933 info > > 505708 lib > > 803484 local > > 14274 man > > 0 openwin > > 8951 sbin > > 249828 share > > 71261 src > > > > Which partition is the best to put in a fresh mnt partition? I can > > move > > the data that is /mnt away. > > Thanks, Paulo Henrique > > > > > > -- > > Unsubscribe? mail -s unsubscribe [EMAIL PROTECTED] < /dev/null > > > > -- > Bob Nielsen Internet: [EMAIL PROTECTED] > Tucson, AZ AMPRnet: [EMAIL PROTECTED] > DM42nh http://www.primenet.com/~nielsen