Différences

Ci-dessous, les différences entre deux révisions de la page.

--- tutoriel:grub2_parametrage_manuel [Le 26/12/2020, 17:04]
109.10.49.2 [Menu par défaut]
+++ tutoriel:grub2_parametrage_manuel [Le 05/07/2021, 00:15]
91.175.31.129 [Sources]
@@ Ligne 118: / Ligne 118: @@
   * un **chiffre** (0 = le premier, 1 = le deuxième, etc.) ;
   * **saved** (sans guillemet) pour ce qui a été sélectionné lors du précédent lancement (nécessite de rajouter GRUB_SAVEDEFAULT=true) ;
-  * ou le **titre** de menu exact d’un menu mis **entre guillemets** (par exemple : "Microsoft Windows 10 (on /dev/sda1)"). Pour obtenir les titres exacts des menus : grep menuentry /boot/grub/grub.cfg
+  * ou le **titre** de menu exact d’un menu mis **entre guillemets** (par exemple : "Microsoft Windows 10 (on /dev/sda1)"). Pour obtenir les titres exacts des menus : grep menuentry /boot/grub/grub.cfg ;
+  * **chiffre>chiffre** le premier chiffre décrit un menu principal, le second chiffre décrit le sous-menu (par exemple 1>2 pour le mode normal de l'ancien noyau.)
 La **temporisation** avant un lancement automatique se définit avec le paramètre **GRUB_TIMEOUT** :
@@ Ligne 298: / Ligne 299: @@
 ==== Sources ====
-On peut installer le theme inclus dans les dépots : [[apt>grub2-themes-ubuntu-mate]]. On en trouve aussi **[[https://www.gnome-look.org/browse/cat/109/order/latest/|ici]]** (en cherchant bien 'themes Grub2' et non pas seulement 'gfx')
+On peut installer le theme inclus dans les dépots : [[apt>grub2-themes-ubuntu-mate]]. On en trouve aussi **[[https://www.gnome-look.org/browse?cat=109&order=latest|ici]]** (en cherchant bien 'themes Grub2' et non pas seulement 'gfx')
 ==== Où sont-ils installés ? ====