Twitter iPhone pliant OnePlus 11 PS5 Disney+ Orange Livebox Windows 11

Deamnder =c3=a0 GRUB de red=c3=a9marrer sur le dernier OS...

11 réponses
Avatar
Sergio
Salut à tous !

J'ai un portable avec en double boot Windows 10 et Linuxmint. Soit.

Côté Linux ou Windows, no problemo. Mais, qui a déjà utilisé Windows sait que les mises à jour sont longue et chi*ntes. Surtout que je n'utilise que très peu Windows, et donc les maj sont longues.
Surtout elles demandent de rebooter sans cesse, voire plusieurs fois de suite.

Bien entendu, par défaut j'ai choisi Linux.

Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS lancé ? Vu que je ne suis pas devant la bécane pour regarder Windows se mettre à jour...

--
Serge http://cahierdesergio.free.fr/
Soutenez le libre: http://www.framasoft.org

1 réponse

1 2
Avatar
jp willm
Le 29/01/2019 à 20:13, Pascal Hambourg a écrit :
Ce n'est pas l'UUID de la racine (dont GRUB n'aurait que faire pour
savoir quelle entrée du menu sélectionner), c'est l'identifiant de
l'entrée de menu dans /boot/grub/grub.cfg, qui est effectivement
construit à partir d'un identifiant de la racine.

Right, j'ai vérifié.
C'est une "poupée russe" :)
--
jp willm
http://perso.orange.fr/willms/index.html
1 2