Differences between revisions 5 and 6
⇤ ← Revision 5 as of 2015-10-30 09:22:43 →
Size: 3223
Editor: vauss
Comment: sync with English master
← Revision 6 as of 2015-11-13 20:53:36 → ⇥
Size: 3223
Editor: vauss
Comment: typo
Deletions are marked like this. Additions are marked like this.
Line 45: Line 45:
Voir aussi [[Grub/SplashImage]] ''(en Anglais)'', [[GrubEFIReinstall]] ''(en Anglais)'' Voir aussi [[Grub/SplashImage]] ''(en anglais)'', [[GrubEFIReinstall]] ''(en anglais)''

Translation(s): English - Français

Contents

  1. Configurer les couleurs du menu
  2. Configurer la splashimage
  3. Configurer un répertoire /boot/ chiffré

Configurer les couleurs du menu

Depuis Debian Wheezy, il n'y a plus de support pour modifier facilement les couleurs du menu graphique. /etc/default/grub n'a aucune variable qui puisse les configurer.

La façon la plus simple pour cela est de créer un nouveau fichier /boot/grub/custom.cfg et d'y ajouter votre configuration.

Exemple : 

set color_normal=light-gray/black

Les variables contrôlant les couleurs du menu sont les suivantes :

  • color_normal - Couleurs « normales » du terminal en avant-plan et arrière-plan

  • color_highlight - Couleurs de mise en valeur du terminal en avant et arrière-plan

  • menu_color_normal - Couleurs d'avant et arrière-plan à utiliser pour les entrées du menu n'étant pas mises en valeur

  • menu_color_highlight - Couleurs d'avant et arrière-plan à utiliser pour les entrées du menu mises en valeur

Si vous configurez /boot/grub/custom.cfg, il n'est pas nécessaire de lancer la commande update-grub ; le fichier sera automatiquement chargé par /boot/grub/grub.conf au démarrage.

Configurer la splashimage

  • Installez le paquet grub2-splashimages : 

aptitude install grub2-splashimages
  • Choisissez votre future splashimage.

  • Configurez la variable GRUB_BACKGROUND dans /etc/default/grub.

Exemple : 

GRUB_BACKGROUND="/usr/share/images/grub/Lake_mapourika_NZ.tga"

  • Vérifiez que GRUB_TERMINAL=console est bien commentée. Le mode graphique ne sera pas activé si celle-ci n'est pas mise en commentaire. L'étant par défaut, vous ne devriez donc pas avoir à vous en inquiéter.

  • La résolution graphique peut être modifiée via la variable GRUB_GFXMODE.

  • Lancez update-grub.

  • Redémarrez et observez les changements.

Voir aussi Grub/SplashImage (en anglais), GrubEFIReinstall (en anglais)

Configurer un répertoire /boot/ chiffré

Grub 2.02~beta2-29 prend en charge la lecture d'une partition /boot chiffrée.

En supposant que vous ayez déjà un système chiffré tel que configuré par l'installateur Debian :

  1. ajoutez GRUB_ENABLE_CRYPTODISK=y à /etc/defaults/grub

  2. faites une sauvegarde du contenu de votre partition /boot/

  3. créez un container LUKS là où se trouve votre partition /boot et déverrouillez-là

  4. créez un système de fichier ext2 dans votre container LUKS et montez-le comme /boot

  5. restaurez la sauvegarde de votre partition /boot dans votre nouveau /boot chiffré

  6. exécutez les commandes grub-install et update-grub