> -----Original Message-----
> From: Dogsbody [mailto:dan (at mark) dogsbody.org]
> Sent: Thursday, November 01, 2007 5:28 PM
> To: coba-e (at mark) bluequartz.org
> Subject: [coba-e:11047] Re: Changing partition size
>
>
> > Sorry if this is a bit of a noob question ... but I need to reduce
the
> > size of my /var and add it to the /home.
> >
> > This is just a temp solution whilst we organise some bigger drives,
but
> > it will solve the immediate problem.
> >
> > I have seen a friend do this by typing furiously at the CLI but
haven't
> > done it myself, particularly on an active server!
>
>
> While it's easy enough now to grow partitions the act of making them
> smaller is rather risky for obvious reasons not to mention that all of
> this needs to be done with the partitions unmounted which means
downtime
> and usually booting from a separate boot CD (to avoid having to mount
> the drives).
>
> If this is just a temporary thing then your best bet is to move
> directories to the new partition and sym link them. This used to be a
> problem on the raq4 and the /usr partition. The fix was...
>
> mkdir /home/usr
> cd /usr
> mv doc /home/usr
> ln -s /home/usr/doc
> mv man /home/usr
> ln -s /home/usr/man
> mv info /home/usr
> ln -s /home/usr/info
>
> ... you may want to be a bit more careful in /var , try and pick
> directories that aren't being actively used by applications.
>
> Dan
Thanks Dan,
Point taken re unmounting disks.
Just out of interest (I'm not going to try it) ... how do I
grow/shrink/move partitions?
If for example I just stuck another pair of mirrored drives in for the
/home partition then how do I tell CentOS/BQ?
Regards
Colin
It takes 24 trees to produce 1 ton of office paper!
Think. is it really necessary to print this email?