[RISOLTO] Come modificare l'ordine di avvio di grub (linux)

Per modificare l'ordine di avvio di grub su una macchina che monta una distribuzione Linux (magari in dual boot con Windows), dovete modificare il file di configurazione di grub, la utility che si occupa di gestire l'avvio del sistema.

Per far ciò occorre aprire il file con i privilegi di root all'interno del proprio editor di testo preferito. In Linux Mint, da terminale eseguire il comando:

sudo gedit /boot/grub/grub.cfg

che se siete su ElementaryOS, diventa:

sudo scratch-text-editor /boot/grub/grub.cfg

A questo punto occorre cambiare il numerino che appare alla riga:

set default="0"

Di base è "0", corrisponde cioè alla prima voce in alto nella lista di grub. Se il sistema che volete caricare è alla seconda riga, dovrete impostare la voce a set default="1" e così via.

Per approfondimenti, leggete questo articolo del sempre ottimo Istituto Majorana.