Regarding to 'update-grub' ... Usually I'm editing grub.cfg manually, since this seems to be the only way to get the results I need. Ok, I can run update.grub and figure out what changed for grub.cfg, but if anybody knows what I need to change for grub.cfg, I would welcome this information. Regards, Ralf