GRUB Accueil > Mots-clés > INFORMATIQUE > GRUB Changer l’os par défaut au démarrage - GRUB [UBUNTU] Pour choisir l’os au démarrage du pc, il faut éditer le fichier /etc/default/grub et il faut (...)