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 _______________________________________________ Dng mailing list Dng@lists.dyne.org https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
