24/10/2024, 16:40
Puoi usare l'editor che vuoi. Per modificare i parametri di avvio apri "/etc/default/grub" usando un editor con i permessi di amministratore. Individui la riga "GRUB_DEFAULT=0" dove "0" (zero) indica il primo sistema operativo nell'elenco che compare all'avvio. Sostituiscilo con il numero appropriato al sistema che vuoi avviare di default, tenendo conto che l'elenco parte appunto da zero. Modificato e salvato il file, sempre come amministratore fai ricaricare le impostazioni con "sudo update-grub". Al prossio avvio partirà di default il SO scelto.