Cambiare il sistema operativo di avvio predefinito

… dopo aver installato Linux su un pc con già presente windows appare la schermata di scelta del sistema di avvio, come predefinito c’è linux. Per cambiarlo bisogna editare il file di configurazione:

• sudo gedit /etc/default/grub
• Cambiare la voce di default GRUB_DEFAULT=0 con il sistema che si vuole (di solito windows è il 5 quindi GRUB_DEFAULT=5)

• sudo update-grub

Oppure installare il tool grafico:

• sudo add-apt-repository ppa:danielrichter2007/grub-customizer
• sudo apt-get update
• sudo apt-get install grub-customizer