Deamnder =c3=a0 GRUB de red=c3=a9marrer sur le dernier OS...
11 réponses
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
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...
Hello Sergio, pas sûr qu'il y ait une solution simple pour ça, dans ce cas, pourquoi ne pas changer temporairement le boot par défaut, le temps de faire la série de mises à jour / reboot, puis ensuite remettre Linux par défaut au boot ? Si tu utilises rarement windows, ça peut le faire. -- http://zetrader.info & http://zetrader.fr http://aribaut.com - http://zeforums.com
Le 28/01/2019 à 14:19, Sergio a écrit :
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...
Hello Sergio, pas sûr qu'il y ait une solution simple pour ça, dans ce
cas, pourquoi ne pas changer temporairement le boot par défaut, le temps
de faire la série de mises à jour / reboot, puis ensuite remettre Linux
par défaut au boot ?
Si tu utilises rarement windows, ça peut le faire.
--
http://zetrader.info & http://zetrader.fr
http://aribaut.com - http://zeforums.com
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...
Hello Sergio, pas sûr qu'il y ait une solution simple pour ça, dans ce cas, pourquoi ne pas changer temporairement le boot par défaut, le temps de faire la série de mises à jour / reboot, puis ensuite remettre Linux par défaut au boot ? Si tu utilises rarement windows, ça peut le faire. -- http://zetrader.info & http://zetrader.fr http://aribaut.com - http://zeforums.com
Pierre www.zetrader.fr
Le 28/01/2019 à 14:29, Pierre www.zetrader.fr a écrit :
Le 28/01/2019 à 14:19, Sergio a écrit :
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...
Hello Sergio, pas sûr qu'il y ait une solution simple pour ça, dans ce cas, pourquoi ne pas changer temporairement le boot par défaut, le temps de faire la série de mises à jour / reboot, puis ensuite remettre Linux par défaut au boot ? Si tu utilises rarement windows, ça peut le faire.
Sinon je ne sais pas si cela peut te servir, mais j'ai trouvé ça : http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted -- http://zetrader.info & http://zetrader.fr http://aribaut.com - http://zeforums.com
Le 28/01/2019 à 14:29, Pierre www.zetrader.fr a écrit :
Le 28/01/2019 à 14:19, Sergio a écrit :
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...
Hello Sergio, pas sûr qu'il y ait une solution simple pour ça, dans ce
cas, pourquoi ne pas changer temporairement le boot par défaut, le temps
de faire la série de mises à jour / reboot, puis ensuite remettre Linux
par défaut au boot ?
Si tu utilises rarement windows, ça peut le faire.
Sinon je ne sais pas si cela peut te servir, mais j'ai trouvé ça :
http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted
--
http://zetrader.info & http://zetrader.fr
http://aribaut.com - http://zeforums.com
Le 28/01/2019 à 14:29, Pierre www.zetrader.fr a écrit :
Le 28/01/2019 à 14:19, Sergio a écrit :
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...
Hello Sergio, pas sûr qu'il y ait une solution simple pour ça, dans ce cas, pourquoi ne pas changer temporairement le boot par défaut, le temps de faire la série de mises à jour / reboot, puis ensuite remettre Linux par défaut au boot ? Si tu utilises rarement windows, ça peut le faire.
Sinon je ne sais pas si cela peut te servir, mais j'ai trouvé ça : http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted -- http://zetrader.info & http://zetrader.fr http://aribaut.com - http://zeforums.com
jp willm
Hello Sergio, Le 28/01/2019 à 14:19, Sergio a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés : Editier /etc/default/grub Si la (première) ligne est GRUB_DEFAULT=0 ou n modifier en ---> GRUB_DEFAULT=saved <https://doc.ubuntu-fr.org/tutoriel/grub2_parametrage_manuel#menu_par_defaut> -- jp willm http://perso.orange.fr/willms/index.html
Hello Sergio,
Le 28/01/2019 à 14:19, Sergio a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS
lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés :
Hello Sergio, Le 28/01/2019 à 14:19, Sergio a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés : Editier /etc/default/grub Si la (première) ligne est GRUB_DEFAULT=0 ou n modifier en ---> GRUB_DEFAULT=saved <https://doc.ubuntu-fr.org/tutoriel/grub2_parametrage_manuel#menu_par_defaut> -- jp willm http://perso.orange.fr/willms/index.html
Pierre www.zetrader.fr
Le 28/01/2019 à 15:36, jp willm a écrit :
Hello Sergio, Le 28/01/2019 à 14:19, Sergio a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés : Editier /etc/default/grub Si la (première) ligne est GRUB_DEFAULT=0 ou n modifier en ---> GRUB_DEFAULT=saved <https://doc.ubuntu-fr.org/tutoriel/grub2_parametrage_manuel#menu_par_defaut>
La démarche coïncide avec le lien que j'avais donné : http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted J'espère que cela l'aidera. -- http://zetrader.info & http://zetrader.fr http://aribaut.com - http://zeforums.com
Le 28/01/2019 à 15:36, jp willm a écrit :
Hello Sergio,
Le 28/01/2019 à 14:19, Sergio a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier
OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés :
La démarche coïncide avec le lien que j'avais donné :
http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted
J'espère que cela l'aidera.
--
http://zetrader.info & http://zetrader.fr
http://aribaut.com - http://zeforums.com
Hello Sergio, Le 28/01/2019 à 14:19, Sergio a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés : Editier /etc/default/grub Si la (première) ligne est GRUB_DEFAULT=0 ou n modifier en ---> GRUB_DEFAULT=saved <https://doc.ubuntu-fr.org/tutoriel/grub2_parametrage_manuel#menu_par_defaut>
La démarche coïncide avec le lien que j'avais donné : http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted J'espère que cela l'aidera. -- http://zetrader.info & http://zetrader.fr http://aribaut.com - http://zeforums.com
Sergio
Le 28/01/2019 à 15:53, Pierre www.zetrader.fr a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés : Editier /etc/default/grub Si la (première) ligne est
La démarche coïncide avec le lien que j'avais donné : http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted J'espère que cela l'aidera.
C'est bon ! Merci à tous ! Et merci aux développeurs de grub de palier aux défauts de Windows ;-) -- Serge http://cahierdesergio.free.fr/ Soutenez le libre: http://www.framasoft.org
Le 28/01/2019 à 15:53, Pierre www.zetrader.fr a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés :
Editier /etc/default/grub
Si la (première) ligne est
La démarche coïncide avec le lien que j'avais donné :
http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted
J'espère que cela l'aidera.
C'est bon ! Merci à tous !
Et merci aux développeurs de grub de palier aux défauts de Windows ;-)
--
Serge http://cahierdesergio.free.fr/
Soutenez le libre: http://www.framasoft.org
Le 28/01/2019 à 15:53, Pierre www.zetrader.fr a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés : Editier /etc/default/grub Si la (première) ligne est
La démarche coïncide avec le lien que j'avais donné : http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted J'espère que cela l'aidera.
C'est bon ! Merci à tous ! Et merci aux développeurs de grub de palier aux défauts de Windows ;-) -- Serge http://cahierdesergio.free.fr/ Soutenez le libre: http://www.framasoft.org
Pierre www.zetrader.fr
Le 28/01/2019 à 16:21, Sergio a écrit :
Le 28/01/2019 à 15:53, Pierre www.zetrader.fr a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés : Editier /etc/default/grub Si la (première) ligne est
La démarche coïncide avec le lien que j'avais donné : http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted J'espère que cela l'aidera.
C'est bon ! Merci à tous ! Et merci aux développeurs de grub de palier aux défauts de Windows ;-)
De rien :) C'est vrai que c'est bien pratique Grub quand même ^^ -- http://zetrader.info & http://zetrader.fr http://aribaut.com - http://zeforums.com
Le 28/01/2019 à 16:21, Sergio a écrit :
Le 28/01/2019 à 15:53, Pierre www.zetrader.fr a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier
OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et
dérivés :
Editier /etc/default/grub
Si la (première) ligne est
La démarche coïncide avec le lien que j'avais donné :
http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted
J'espère que cela l'aidera.
C'est bon ! Merci à tous !
Et merci aux développeurs de grub de palier aux défauts de Windows ;-)
De rien :)
C'est vrai que c'est bien pratique Grub quand même ^^
--
http://zetrader.info & http://zetrader.fr
http://aribaut.com - http://zeforums.com
Le 28/01/2019 à 15:53, Pierre www.zetrader.fr a écrit :
Comment dans ces cas-là dire à GRUB (2) de redémarrer sur le dernier OS lancé ?
Chez moi sur Manjaro, mais ça doit être identique sur debian et dérivés : Editier /etc/default/grub Si la (première) ligne est
La démarche coïncide avec le lien que j'avais donné : http://ubuntuguide.net/let-grub2-remember-and-auto-select-last-entry-you-booted J'espère que cela l'aidera.
C'est bon ! Merci à tous ! Et merci aux développeurs de grub de palier aux défauts de Windows ;-)
De rien :) C'est vrai que c'est bien pratique Grub quand même ^^ -- http://zetrader.info & http://zetrader.fr http://aribaut.com - http://zeforums.com
dyrmak
En 21 lignes Sergio a écrit dans news:5c4f1de4$0$15503$ le lundi, 28 janvier 2019 à 16:21:08 :
Et merci aux développeurs de grub de palier aux défauts de Windows ;-)
Mmmmh, sans vouloir simplifier trop les choses, une autre solution : n'avoir que linux.... /dev/sda1: UUID="" TYPE="ext4" PARTUUID="e3102a4b-01" /dev/sda2: UUID="" TYPE="ext4" PARTUUID="e3102a4b-02" /dev/sda3: UUID="" TYPE="reiserfs" PARTUUID="e3102a4b-03" /dev/sda5: UUID="" TYPE="ext4" PARTUUID="e3102a4b-05" /dev/sda6: UUID="" TYPE="swap" PARTUUID="e3102a4b-06" /dev/sda7: UUID="" TYPE="ext4" PARTUUID="e3102a4b-07" /dev/sda8: UUID="" TYPE="swap" PARTUUID="e3102a4b-08" /dev/ram1: UUID="" TYPE="ext4" dyrmak -- En el arena de esas calientes, o en las arenas de esas hirvientes ++++ --- ++++ Linux operating system ++++ --- ++++
En 21 lignes Sergio a écrit
dans news:5c4f1de4$0$15503$426a74cc@news.free.fr
le lundi, 28 janvier 2019 à 16:21:08 :
Et merci aux développeurs de grub de palier aux défauts de Windows ;-)
Mmmmh, sans vouloir simplifier trop les choses, une
autre solution : n'avoir que linux....
En 21 lignes Sergio a écrit dans news:5c4f1de4$0$15503$ le lundi, 28 janvier 2019 à 16:21:08 :
Et merci aux développeurs de grub de palier aux défauts de Windows ;-)
Mmmmh, sans vouloir simplifier trop les choses, une autre solution : n'avoir que linux.... /dev/sda1: UUID="" TYPE="ext4" PARTUUID="e3102a4b-01" /dev/sda2: UUID="" TYPE="ext4" PARTUUID="e3102a4b-02" /dev/sda3: UUID="" TYPE="reiserfs" PARTUUID="e3102a4b-03" /dev/sda5: UUID="" TYPE="ext4" PARTUUID="e3102a4b-05" /dev/sda6: UUID="" TYPE="swap" PARTUUID="e3102a4b-06" /dev/sda7: UUID="" TYPE="ext4" PARTUUID="e3102a4b-07" /dev/sda8: UUID="" TYPE="swap" PARTUUID="e3102a4b-08" /dev/ram1: UUID="" TYPE="ext4" dyrmak -- En el arena de esas calientes, o en las arenas de esas hirvientes ++++ --- ++++ Linux operating system ++++ --- ++++
Pascal Hambourg
Le 28/01/2019 à 15:36, jp willm a écrit :
GRUB_DEFAULT=saved
A note que ça ne marche pas dans tous les cas. Il faut que GRUB puisse enregistrer le dernier choix. Or il sait lire un système de fichier, mais il ne sait pas vraiment y écrire. Pour ce faire, il a recours à une astuce : il modifie directement sur le disque le contenu du fichier préalloué /boot/grub/grubenv. Extrait de la doc de GRUB : For safety reasons, this storage is only available when installed on a plain disk (no LVM or RAID), using a non-checksumming filesystem (no ZFS), and using BIOS or EFI functions (no ATA, USB or IEEE1275).
Le 28/01/2019 à 15:36, jp willm a écrit :
GRUB_DEFAULT=saved
A note que ça ne marche pas dans tous les cas. Il faut que GRUB puisse
enregistrer le dernier choix. Or il sait lire un système de fichier,
mais il ne sait pas vraiment y écrire. Pour ce faire, il a recours à une
astuce : il modifie directement sur le disque le contenu du fichier
préalloué /boot/grub/grubenv. Extrait de la doc de GRUB :
For safety reasons, this storage is only available when installed on a
plain disk (no LVM or RAID), using a non-checksumming filesystem (no
ZFS), and using BIOS or EFI functions (no ATA, USB or IEEE1275).
A note que ça ne marche pas dans tous les cas. Il faut que GRUB puisse enregistrer le dernier choix. Or il sait lire un système de fichier, mais il ne sait pas vraiment y écrire. Pour ce faire, il a recours à une astuce : il modifie directement sur le disque le contenu du fichier préalloué /boot/grub/grubenv. Extrait de la doc de GRUB : For safety reasons, this storage is only available when installed on a plain disk (no LVM or RAID), using a non-checksumming filesystem (no ZFS), and using BIOS or EFI functions (no ATA, USB or IEEE1275).
jp willm
Le 28/01/2019 à 21:43, Pascal Hambourg a écrit :
GRUB_DEFAULT=saved
A note que ça ne marche pas dans tous les cas. Il faut que GRUB puisse enregistrer le dernier choix. Or il sait lire un système de fichier, mais il ne sait pas vraiment y écrire. Pour ce faire, il a recours à une astuce : il modifie directement sur le disque le contenu du fichier préalloué /boot/grub/grubenv. Extrait de la doc de GRUB :
Right, il a reporté le UUID de la partition racine que j'utilise actuellement : # GRUB Environment Block menu_auto_hide=1 boot_success=1 boot_indeterminate=1 saved_entry=gnulinux-simple-84330bf6-1840-4bc3-988a-c7506803eef7 ################################################################
For safety reasons, this storage is only available when installed on a plain disk (no LVM or RAID), using a non-checksumming filesystem (no ZFS), and using BIOS or EFI functions (no ATA, USB or IEEE1275).
Bon à retenir. Merci pour l'info. -- jp willm http://perso.orange.fr/willms/index.html
Le 28/01/2019 à 21:43, Pascal Hambourg a écrit :
GRUB_DEFAULT=saved
A note que ça ne marche pas dans tous les cas. Il faut que GRUB puisse
enregistrer le dernier choix. Or il sait lire un système de fichier,
mais il ne sait pas vraiment y écrire. Pour ce faire, il a recours à une
astuce : il modifie directement sur le disque le contenu du fichier
préalloué /boot/grub/grubenv. Extrait de la doc de GRUB :
Right, il a reporté le UUID de la partition racine que j'utilise
actuellement :
For safety reasons, this storage is only available when installed on a
plain disk (no LVM or RAID), using a non-checksumming filesystem (no
ZFS), and using BIOS or EFI functions (no ATA, USB or IEEE1275).
A note que ça ne marche pas dans tous les cas. Il faut que GRUB puisse enregistrer le dernier choix. Or il sait lire un système de fichier, mais il ne sait pas vraiment y écrire. Pour ce faire, il a recours à une astuce : il modifie directement sur le disque le contenu du fichier préalloué /boot/grub/grubenv. Extrait de la doc de GRUB :
Right, il a reporté le UUID de la partition racine que j'utilise actuellement : # GRUB Environment Block menu_auto_hide=1 boot_success=1 boot_indeterminate=1 saved_entry=gnulinux-simple-84330bf6-1840-4bc3-988a-c7506803eef7 ################################################################
For safety reasons, this storage is only available when installed on a plain disk (no LVM or RAID), using a non-checksumming filesystem (no ZFS), and using BIOS or EFI functions (no ATA, USB or IEEE1275).
Bon à retenir. Merci pour l'info. -- jp willm http://perso.orange.fr/willms/index.html
Pascal Hambourg
Le 29/01/2019 à 14:48, jp willm a écrit :
Le 28/01/2019 à 21:43, Pascal Hambourg a écrit :
GRUB_DEFAULT=saved
A note que ça ne marche pas dans tous les cas. Il faut que GRUB puisse enregistrer le dernier choix. Or il sait lire un système de fichier, mais il ne sait pas vraiment y écrire. Pour ce faire, il a recours à une astuce : il modifie directement sur le disque le contenu du fichier préalloué /boot/grub/grubenv. Extrait de la doc de GRUB :
Right, il a reporté le UUID de la partition racine que j'utilise actuellement : # GRUB Environment Block menu_auto_hide=1 boot_success=1 boot_indeterminate=1 saved_entry=gnulinux-simple-84330bf6-1840-4bc3-988a-c7506803eef7
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.
Le 29/01/2019 à 14:48, jp willm a écrit :
Le 28/01/2019 à 21:43, Pascal Hambourg a écrit :
GRUB_DEFAULT=saved
A note que ça ne marche pas dans tous les cas. Il faut que GRUB puisse
enregistrer le dernier choix. Or il sait lire un système de fichier,
mais il ne sait pas vraiment y écrire. Pour ce faire, il a recours à
une astuce : il modifie directement sur le disque le contenu du
fichier préalloué /boot/grub/grubenv. Extrait de la doc de GRUB :
Right, il a reporté le UUID de la partition racine que j'utilise
actuellement :
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.
A note que ça ne marche pas dans tous les cas. Il faut que GRUB puisse enregistrer le dernier choix. Or il sait lire un système de fichier, mais il ne sait pas vraiment y écrire. Pour ce faire, il a recours à une astuce : il modifie directement sur le disque le contenu du fichier préalloué /boot/grub/grubenv. Extrait de la doc de GRUB :
Right, il a reporté le UUID de la partition racine que j'utilise actuellement : # GRUB Environment Block menu_auto_hide=1 boot_success=1 boot_indeterminate=1 saved_entry=gnulinux-simple-84330bf6-1840-4bc3-988a-c7506803eef7
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.