Grub ordre de démarrage

[Bertic]

Dernier message de la page précédente :

Bonjour.

On peut faire autrement. Dans ton cas, dans un terminal depuis ta Mint, tu entres ces deux lignes de commandes :

sudo grub-install /dev/dev
puis : sudo update-grub

Tu redemares et normalement mint deviens l'os par defaut.

[Ibiscus]

J'ai un souci similaire : deux Linux et Windows. Depuis la dernière mise à jour de Mint, j'ai perdu le beau menu de démarrage de Manjaro, avec ses grosses lettres et le dernier os choisi par défaut. J'ai beau lancer des os-prober et update-grub depuis Manjaro, rien n'y fait : c'est toujours Mint qui se lance si je ne suis pas présent devant le clavier.

Certes, il y a pire comme problème (puisque je vous écris depuis Mint). Mais je n'ai pas trouvé comment utiliser l'imprimante et le scanner, aussi j'aimerais quand même avoir un autre OS par défaut.

Il n'y aurait pas un fichier de configuration à modifier ou une application en mode graphique pour les newbies comme moi ?

[Ibiscus]

En enlevant un # dans le fichier /etc/default/grub, j'ai pu obtenir un menu avec de grosses lettres toutes moches, mais nettement plus lisible pour un malvoyant.

Le problème de l'OS par défaut reste entier.

[Ibiscus]

J'ai trouvé la réponse dans un tutoriel pour Ubuntu.

A cette adresse : https://doc.ubuntu-fr.org/tutoriel/grub ... par_defaut

Il faut éditer le fichier /etc/default/grub en mode administrateur (pour pouvoir le modifier)

modifier cette ligne :

Code : Tout sélectionner

GRUB_DEFAULT=saved

et ajouter celle-ci :

Code : Tout sélectionner

GRUB_SAVEDEFAULT=true

Enregistrer et lancer dans le terminal la commande :

Code : Tout sélectionner

sudo update-grub