At Thu, 20 Oct 2011 13:46:51 +0100, Richard Lewis wrote:
- Resize the root filesystem while it's mounted (it's an ext3 filesystem) or;
A bit of lateral thinking from one of my colleagues provided the solution to this. "Why not just create a new ext3 filesystem on the other HDD, copy the current / to it, set GRUB to boot from that, reboot, resize the old /, restore original GRUB settings, reboot," he said (I paraphrase, but you get the idea).
Anyway, job done.
Best, Richard