Ho un problema con grub: indipendentemente dal valore della variabile GRUB_DEFAULT nel file /etc/default/grub l'avvio predefinito rimane quello di Debian. Come devo fare se voglio che l'avvio di default diventi quello di Windows?
In teoria visto che è elencato come quarta riga dovrei scivere nel file /etc/default/grub GRUB_DEFAULT=4 e poi dare il comando update-grub ma in pratica non funziona. Mi sapreste dire perchè?
Grazie