That is indeed normal behaviour. I do not consider that having my GRUB
configuration 'messed up'. My question still stands: in what way do kernel
updates mess up his GRUB configuration? Even though it runs an update-grub,
this does not affect the contents of /etc/default/grub, the primary
configuration interface designed for the users. I have a
customised /etc/default/grub- kernel updates do not overwrite my configuration
in any way. They merely update GRUB to use the latest kernel.

Reply via email to