Merci Athol. Ta solution fonctionne.
Pour ma part, j'ai commenté les lignes que tu as effacées, ainsi que les 3 suivantes et j'ai ajouté en dessous les mêmes lignes que toi (mais avec les couleurs que je voulais). Ça fonctionne aussi très bien.
Je résume la procédure pour ceux que ça intéresse :
- Ouvrir un terminal et taper la commande suivante :
gksudo gedit /etc/grub.d/05_debian_theme
- Entrer son mot de passe.
Par défaut, l'étape n°7 du fichier (step #7) se présente ainsi :
# Step #7: Everything went fine, print out a message to stderr ...
echo "Found background image: ${1}" >&2
# ... and write our configuration snippet to stdout. Use the colors
# desktop-base specified. If we're using a user-defined background, use
# the default colors since we've got no idea how the image looks like.
# If loading the background image fails, use the default theme.
echo "insmod ${reader}"
echo "if background_image `make_system_path_relative_to_its_root "${1}"`; then"
if [ -n "${2}" ]; then
echo " set color_normal=${2}"
fi
if [ -n "${3}" ]; then
echo " set color_highlight=${3}"
fi
if [ -z "${2}" ] && [ -z "${3}" ]; then
echo " true"
fi
echo "else"
set_default_theme " "
echo "fi"
}
(Penser à actionner l'ascenseur pour voir le code en entier.)
Pour obtenir les couleurs souhaitées, modifier le code comme ceci :
# Step #7: Everything went fine, print out a message to stderr ...
echo "Found background image: ${1}" >&2
# ... and write our configuration snippet to stdout. Use the colors
# desktop-base specified. If we're using a user-defined background, use
# the default colors since we've got no idea how the image looks like.
# If loading the background image fails, use the default theme.
echo "insmod ${reader}"
echo "if background_image `make_system_path_relative_to_its_root "${1}"`; then"
# if [ -n "${2}" ]; then
# echo " set color_normal=${2}"
# fi
# if [ -n "${3}" ]; then
# echo " set color_highlight=${3}"
# fi
# if [ -z "${2}" ] && [ -z "${3}" ]; then
# echo " true"
# fi
echo " set color_normal=black/black"
echo " set color_highlight=light-green/brown"
echo "else"
set_default_theme " "
echo "fi"
}
(Penser à faire défiler le code pour tout voir.)
Comme indiqué plus haut, ce sont les lignes suivantes qui servent à indiquer les couleurs :
echo " set color_normal=black/black"
echo " set color_highlight=light-green/brown"
On trouvera une
liste de couleurs utilisables sur la page Grub2 de la documentation du site Ubuntu anglophone. Ces couleurs là fonctionnent.
Mais normalement, on devrait maintenant pouvoir utiliser davantage de couleurs, comme indiqué dans la section 6.2.1 de
la doc anglophone de la version de Grub utilisée par Ubuntu 11.04 (soit Grub 1.99~rc1). J'ai tenté le coup avec des couleurs RGB comme indiqué (en hexadécimal ou pas) mais ça n'a pas fonctionné. Je n'ai pas dû utiliser les bonnes syntaxes. Donc, si quelqu'un y arrive, je suis preneur.
- Une fois les couleurs voulues indiquées, enregistrer le fichier et lancer la commande suivante :
sudo update-grub
- Redémarrer pour vérifier que cela fonctionne.
