On Sat, Aug 15, 2015 at 02:15:35PM +1200, Daniel Reurich wrote:
> On 15/08/15 14:11, Hendrik Boom wrote:
> >Easy enough to edit /boot/grub/grub.cfg.
> >Or do I really have to edit other files that this is made from? I
> >remember there was some complication there with Debian's grub2.
> >
> /etc/default/grub is the file you need to edit followed by running
> 'update-grub'

It doesn't mention VG1 either, so I suppose it's clean.
I don't plan on changing any UUIDs.

-- hendrik