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 (...)