octobre 2020

Archives

Entries list

mardi 20 octobre 2020

GRUB - Choix de l'OS par défaut avec un dualboot

Habituellement toutes mes machines sont installées avec une distribution Linux, voire un dualboot Linux/Windows et un démarrage de Linux par défaut.

Pour mon portable professionnel, il en va de même, sauf que j'utilise plus souvent Windows rendu obligatoire par les logiciels qui me sont imposés. De plus, il m'arrive de prêter mon portable et ce dualboot est vécu comme une expérience extraordinaire et même pénible par mes collègues, ce qui m'amène à changer la configuration de mon dual boot, géré par GRUB 2 sous Mint.

Lire la suite...