Re: Rearranging partitions
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 debian-user-request@lists.debian.org < /dev/null
> >
>
> --
> Bob Nielsen Internet: nielsen@primenet.com
> Tucson, AZ AMPRnet: w6swe@w6swe.ampr.org
> DM42nh http://www.primenet.com/~nielsen
Reply to: