Grubkonfiguration anpassen nach Kernel-Update

Problem:
Bei Dual-Boot-Systemen mit Windows als Standard und Ubuntu als Alternative entsteht nach jedem Kernelupdate das Problem, dass sich Windows nach hinten verschoben hat und folglich GRUB neu konfiguriert werden muss.

Lösung:

• Zunächst muss die Datei /etc/default/grub geändert werden.
  Das geht am bequemsten indem man diese Datei mit dem Befehl
  

  sudo gedit /etc/default/grub
  

  öffnet. In der Datei muss nun die Variable GRUB_DEFAULT um zwei erhöht werden.
• Anschließend muss die Grubkonfiguration aktualisiert werden. Das geht mit dem Befehl
  

  sudo update-grub