On Thu, Feb 9, 2012 at 11:08 AM, Pandu Poluan <pandu@poluan.info> wrote:

Ah, thank you!

I'll still burn a CD, though. Much easier to reboot from a CD than having to edit grub in 10+ boxes.

Rgds,