| Les deux révisions précédentesRévision précédente | |
| issue87:grub2_et_multibooting [2015/01/08 17:46] – [3] frangi | issue87:grub2_et_multibooting [2015/01/08 17:51] (Version actuelle) – [4] frangi |
|---|
| You may also want to change some text colors in the GRUB menu, especially if you will use a background ‘splash’ image (see previous time). Color settings are present in the script 05_debian_theme or possibly in an extra script like 06_mint_theme (under/etc/grub.d/). You will use such things as set color_normal, color_highlight, menu_color_normal and menu_color_highlight; inspect the online resources for more information. In short, the defaults are black/light-gray for (menu_)color_highlight and white/black for (menu_)color_normal. ‘black/light-gray’ means black text on a light-gray background (for the selected menu entry); ‘white/black’ is white text on a transparent background (black as background color is not black!). That will be important when you use a background image. The following colors are available: black, blue, brown, cyan, dark-gray, green, light-cyan, light-blue, light-green, light-gray, light-magenta, light-red, magenta, red, white and yellow. Have fun with these things. Beforehand, you can test the effect in real-time by running the appropriate GRUB commands in the GRUB terminal (e.g. set color_normal=blue/white), but you will need to insert these settings in 05_debian_theme to get it set automatically through grub.cfg. You can also experiment with grub.cfg and insert the ‘set … color=’ statements directly in there, but beware that grub.cfg is overwritten after update-grub is run.** | You may also want to change some text colors in the GRUB menu, especially if you will use a background ‘splash’ image (see previous time). Color settings are present in the script 05_debian_theme or possibly in an extra script like 06_mint_theme (under/etc/grub.d/). You will use such things as set color_normal, color_highlight, menu_color_normal and menu_color_highlight; inspect the online resources for more information. In short, the defaults are black/light-gray for (menu_)color_highlight and white/black for (menu_)color_normal. ‘black/light-gray’ means black text on a light-gray background (for the selected menu entry); ‘white/black’ is white text on a transparent background (black as background color is not black!). That will be important when you use a background image. The following colors are available: black, blue, brown, cyan, dark-gray, green, light-cyan, light-blue, light-green, light-gray, light-magenta, light-red, magenta, red, white and yellow. Have fun with these things. Beforehand, you can test the effect in real-time by running the appropriate GRUB commands in the GRUB terminal (e.g. set color_normal=blue/white), but you will need to insert these settings in 05_debian_theme to get it set automatically through grub.cfg. You can also experiment with grub.cfg and insert the ‘set … color=’ statements directly in there, but beware that grub.cfg is overwritten after update-grub is run.** |
| |
| Sauf pour ce qui concerne les commandes insmod, vous pourriez vouloir faire des expériences en omettant des lignes dans les entrées menu que vous avez copiées pour voir si cela fonctionne toujours (il se peut que oui). Vous pouvez même le faire pendant une seule session, sans modifier grub.cfg. Il suffit d'appuyer sur « e » après avoir sélectionné l'entrée menu dans le menu GRUB que vous voulez examiner ou changer. GRUB affichera les commandes de l'entrée menu ; vous pouvez les modifier en toute sécurité, puis les exécuter avec CTRL-X (rien ne sera sauvegardé sur grub.cfg). Omettez également le paramètre « quiet » dans la déclaration Linux pour voir ce qui se passe alors. Ceux qui veulent en apprendre davantage peuvent suivre les liens à la fin. Mais avec les ingrédients ci-dessus, ça ira. | Sauf pour ce qui concerne les commandes insmod, vous pourriez vouloir faire des expériences en omettant des lignes dans les entrées menu que vous avez copiées pour voir si cela fonctionne toujours (il se peut que oui). Vous pouvez même le faire pour une seule session, sans modifier grub.cfg. Il suffit d'appuyer sur « e » après avoir sélectionné l'entrée menu dans le menu GRUB que vous voulez examiner ou changer. GRUB affichera les commandes de l'entrée menu ; vous pouvez les modifier en toute sécurité, puis les exécuter avec CTRL-X (rien ne sera sauvegardé sur grub.cfg). Omettez également le paramètre « quiet » dans la déclaration Linux pour voir ce qui se passe alors. Ceux qui veulent en apprendre davantage peuvent suivre les liens à la fin. Mais avec les ingrédients ci-dessus, ça ira. |
| |
| Vous pouvez vouloir aussi changer quelques couleurs du texte dans le menu GRUB, surtout si vous allez utiliser une image de fond « splash » (Cf l'article précédent). Des paramètres couleurs se trouvent dans le script 05_debian_theme ou peut-être dans un script supplémentaire comme 06_mint_theme (dans /etc/grub.d/). Vous utiliserez des éléments tels que paramétrer color_normal, color_highlight, menu_color_normal et menu_color_highlight ; regardez les ressources en ligne pour plus de détails. Pour résumer : les défauts sont noir/gris-clair pour (menu_)color_highlight et blanc/noir pour (menu_)color_normal. « black/light-gray » veut dire du texte noir sur un fond gris clair (pour l'entrée du menu sélectionnée) ; « white/black » est du texte blanc sur un fond transparent (noir en tant que couleur de fond n'est pas black !). Cela aura son importance quand vous utiliserez une image de fond. Les couleurs suivantes sont disponibles : noir, bleu, marron, cyan, gris foncé, vert, cyan clair, bleu clair, vert clair, gris clair, magenta clair, rouge clair, magenta, rouge, blanc et jaune. Amusez-vous bien avec tout ceci. Auparavant, vous pourrez tester l'effet en temps réel en exécutant les commandes GRUB appropriées dans le terminal GRUB (par exemple set color_normal=bleu/blanc), mais vous devrez insérer ces paramètres dans 05-debian-theme pour qu'il soit paramétré automatiquement par grub.cfg. Vous pouvez aussi faire des expériences avec grub.cfg et y insérer directement les déclarations « set ... color= », mais sachez que grub.cfg est écrasé après l'exécution de update-grub. | Vous pouvez vouloir aussi changer quelques couleurs du texte dans le menu GRUB, surtout si vous allez utiliser une image de fond « splash » (Cf l'article précédent). Des paramètres couleurs se trouvent dans le script 05_debian_theme ou peut-être dans un script supplémentaire comme 06_mint_theme (dans /etc/grub.d/). Vous utiliserez des éléments tels que paramétrer color_normal, color_highlight, menu_color_normal et menu_color_highlight ; regardez les ressources en ligne pour plus de détails. Pour résumer : les défauts sont noir/gris-clair pour (menu_)color_highlight et blanc/noir pour (menu_)color_normal. « black/light-gray » veut dire du texte noir sur un fond gris clair (pour l'entrée du menu sélectionnée) ; « white/black » est du texte blanc sur un fond transparent (noir en tant que couleur de fond n'est pas black !). Cela aura son importance quand vous utiliserez une image de fond. Les couleurs suivantes sont disponibles : noir, bleu, marron, cyan, gris foncé, vert, cyan clair, bleu clair, vert clair, gris clair, magenta clair, rouge clair, magenta, rouge, blanc et jaune. Amusez-vous bien avec tout ceci. Auparavant, vous pourrez tester l'effet en temps réel en exécutant les commandes GRUB appropriées dans le terminal GRUB (par exemple set color_normal=bleu/blanc), mais vous devrez insérer ces paramètres dans 05-debian-theme pour qu'il soit paramétré automatiquement par grub.cfg. Vous pouvez aussi faire des expériences avec grub.cfg et y insérer directement les déclarations « set ... color= », mais sachez que grub.cfg est écrasé après l'exécution de update-grub. |
| |
| ===== 5 ===== | ===== 5 ===== |
