Page 2 sur 2
Re: Grub ordre de démarrage
Posté : mer. 28 mai 2025 11:49
par 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.
Re: Grub ordre de démarrage
Posté : lun. 2 juin 2025 19:02
par 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 ?
Re: Grub ordre de démarrage
Posté : lun. 2 juin 2025 19:15
par 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.
Re: Grub ordre de démarrage
Posté : sam. 7 juin 2025 14:08
par 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 :
et ajouter celle-ci :
Enregistrer et lancer dans le terminal la commande :