Marcelo Magno T. Sales wrote: >> I know it will take a fraction of the time >> to use Partition Magic (of which I have a legal copy). >> But I'd prefer to use a Linux solution. > > Go to http://gparted.sourceforge.net and download the iso image with > gparted. Burn it to a cd, boot from it and shrink your partition in > graphic mode. Very straightforward, no need for manuals. Thanks - I've made a note of that for future purposes. In this case, I copied the partition elsewhere, deleted it with fdisk and created a new partition of the required size. Long-winded, but simple to do. -- Timothy Murphy e-mail (<80k only): tim /at/ birdsnest.maths.tcd.ie tel: +353-86-2336090, +353-1-2842366 s-mail: School of Mathematics, Trinity College, Dublin 2, Ireland
