linuxmint
Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
linuxmint [2023/05/11 19:47] – gbd | linuxmint [2024/05/08 21:30] (Version actuelle) – [Configurer Grub pour démarrer par défaut sur une autre entrée] gbd | ||
---|---|---|---|
Ligne 87: | Ligne 87: | ||
< | < | ||
+ | |||
+ | ===== Configurer Grub pour démarrer par défaut sur une autre entrée ===== | ||
+ | |||
+ | Par défault Grub va booter sur le linux installé. Si vous voulez changer l'os par défault il faut modifier le paramètre // | ||
+ | |||
+ | Pour obtenir l' | ||
+ | |||
+ | < | ||
+ | |||
+ | Et récuperer l'info entre guillemet derrière menuentry qui nous intéresse. Ce qui donne ceci dans mon fichier /// | ||
+ | |||
+ | < | ||
+ | GRUB_DEFAULT=" | ||
+ | GRUB_TIMEOUT_STYLE=hidden | ||
+ | GRUB_TIMEOUT=10 | ||
+ | GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` | ||
+ | GRUB_CMDLINE_LINUX_DEFAULT=" | ||
+ | GRUB_CMDLINE_LINUX="" | ||
+ | GRUB_RECORDFAIL_TIMEOUT=10 | ||
+ | </ | ||
+ | |||
+ | Il me semble aussi qu'on peut mettre un chiffre correspondant à la ligne de Windows dans grub la 1ere étant 0. Si Windows est en 3ème positition on met | ||
+ | < | ||
+ | |||
+ | Et enfin on peu choisir de booter sur l'Os qui a été utilisé lors du démarrage précédent avec ceci (Non Testé) | ||
+ | |||
+ | < | ||
+ | GRUB_DEFAULT=saved | ||
+ | GRUB_SAVEDEFAULT=true | ||
+ | </ | ||
+ | |||
+ | On n' | ||
===== Configurer l' | ===== Configurer l' |
linuxmint.1683834477.txt.gz · Dernière modification : 2023/05/11 19:47 de gbd