My / is on a 16G ext3 filesystem. As you can guess, this is the result of a
mistake with fdisk, when installing. *Sigh*
/usr and /usr/local are on different filesystems (as intended). Only ~450M are in use,
in /. I'm not in need of the unused space right now, but it's absurd.
So: is there some _safe_ way to solve this? I suppose I could copy the
contents of / to some new partition, but what about /dev and such? The
ideal would be to shrink the / partition. Can it be done? Or should I
reinstall?
Thanks.
Jorge Almeida
--
gentoo-user@gentoo.org mailing list
mistake with fdisk, when installing. *Sigh*
/usr and /usr/local are on different filesystems (as intended). Only ~450M are in use,
in /. I'm not in need of the unused space right now, but it's absurd.
So: is there some _safe_ way to solve this? I suppose I could copy the
contents of / to some new partition, but what about /dev and such? The
ideal would be to shrink the / partition. Can it be done? Or should I
reinstall?
Thanks.
Jorge Almeida
--
gentoo-user@gentoo.org mailing list