Trollex a écrit:Nico_le_Normand a écrit:En ce qui me concerne, je suis en dual boot LinuxMint 18 Sarah / Windows 7 Professional avec un boot par défaut sur LinuxMint (sur base Ubuntu, justement).
EXCELLENT compromis, en effet.
Merci pour le conseil.
tu sais comment on fait pour changer le choix de lancement par défaut? Actuellement j'ai ubuntu par défaut donc obligé de selectionner avec la flèche windows.
C'est très simple.
En tout premier lieu, tu installes un
grub customiser.
Celui ci devrait faire l'affaire :
sudo add-apt-repository ppa:danielrichter2007/grub-customizer && sudo apt-get update && sudo apt-get install grub-customizer (tu fais un copié / collé de tout ça et tu le colles par
clic droit dans le terminal)
+ ENTER
Le terminal te demandera de rentrer ton mot de passe.
+ ENTER
IMPORTANT : tu ne le verras pas à l'écran, ne t'en inquiète donc pas.
Puis tu lances cette commande :
gksudo grub-customizer (même technique de copié / collé.).
+ ENTER
Il est probable que tu sois amené à entrer ton MdP de nouveau.
Ensuite tu arrives sur cette fenêtre :

A partir de là, tu cliques sur l'OS que tu souhaite démarrer par défaut et tu le remontes en tête avec les flèches haut / bas sur la fenêtre.
Tu enregistres... tu laisses faire et quand c'est fini... tu refermes la fenêtre et le terminal.
Au prochain boot, ça partira sur l'OS choisi.
Si jamais tu devais changer à nouveau ton OS de démarrage, relance juste la commande
gksudo grub-customizerAutre solution, tu ne fais rien de tout ça et tu sélectionnes à l'ouverture de ton PC le système que tu souhaites démarrer avec les flèches haut / bas de ton pavé numérique sur ton clavier.
Voilà !