Ubuntu-fr

Athol

Personnaliser Grub

Bonjour à tous.

Avec Natty, Grub est passé à la version 1.99_rc1
Il me semble que le fichier "05_debian_theme" ai changé.
Je n'arrive plus à modifier les couleurs de polices.
J'ai pourtant modifié les lignes suivantes:

set_default_theme(){
    # Set a monochromatic theme for Ubuntu.
    echo "${1}set menu_color_normal=black/black"
    echo "${1}set menu_color_highlight=green/black"

    # Set an aubergine background.
    echo "${1}if background_color 44,0,30; then"
    echo "${1}  clear"
    echo "${1}fi"

En epluchant le fichier, je ne vois rien d'autre à modifier et je ne trouve pas d'aide (en Français) sur cette version de Grub....

Si vous avez des infos, merci de me les faire partager...

Bonne journée

bruno

Re : Personnaliser Grub

Tu as pensé à mettre à jour GRUB après cette modification ?

sudo update-grub

Athol

Re : Personnaliser Grub

Bonsoir.

Oui, Oui bien sur, je met à jour Grub après toutes modifications!

Merci tout de même pour ta réponse...

Bonne soirée

Athol

Re : Personnaliser Grub

Bonjour à tous,

Je reviens sur le sujet.
Dans le script "05_debian_theme" Il y a les lignes suivantes:

# 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"
}

Quelqu'un pourrait il me dire à quoi correspond ${2} et ${3}  des lignes :
    fi
    if [ -n "${2}" ]; then
                echo "  set color_normal=${2}"
    fi
    if [ -n "${3}" ]; then
        echo "  set color_highlight=${3}"
    fi

Car je ne connais rien à la syntaxe des scripts!!

Merci d'avance

Dernière modification par Athol (Le 27/03/2011, à 11:30)

bruno

Re : Personnaliser Grub

Cette partie du script est destinée à gérer les couleurs du menu GRUB lorsque l'on utilise une image en fond d'écran. Est-ce ton cas ?

Athol

Re : Personnaliser Grub

Bonjour et merci pour ta réponse.

Oui, c'est exactement mon cas!! 

bruno

Re : Personnaliser Grub

Ok dans ce cas le plus rapide pour toi est d'ajouter ces lignes au début de ton fichier /etc/grub.d/ (juste après la ligne BACKGROUND_CACHE=".background_cache" par exemple) :

WALLPAPER=/home/bruno/Desktop/kubuntu.png
COLOR_NORMAL=green/black
COLOR_HIGHLIGHT=white/black

C'est bien sûr un exemple, à toi d'indiquer l'emplacement d'un fichier image (jpeg ou png ou tga) et de choisir tes couleurs (dans ce cas black=transparence).
Une fois le fichier enregistré il suffit de lancer sudo update-grub

Athol

Re : Personnaliser Grub

En fait, maintenant, il n'y a plus besoin de lui indiquer le chemin de l'image. Si elle se trouve dans le répertoire :"Boot/Grub" il la trouve tout seul.

En ce qui concerne la couleur des polices du menu, pour le moment j'ai remplacé les lignes:

if [ -n "${2}" ]; then
        echo "  set color_normal=${2}"
    fi
    if [ -n "${3}" ]; then
        echo "  set color_highlight=${3}"
    fi

par:

echo "  set color_normal=light-gray/black"
    echo "  set color_highlight=green/black"

Et ça fonctionne..... 

Par contre, je ne sais toujours pas à quoi correspond les lignes que j'ai remplacées!!! j'aurais bien aimé comprendre comment elles fonctionnaient!!!

Merci tout de même pour ta contribution!

Bonne journée

Dernière modification par Athol (Le 28/03/2011, à 15:22)

c-cube

Re : Personnaliser Grub

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.

Dernière modification par c-cube (Le 06/05/2011, à 17:07)

---

Il y a quelque chose d'ubuntu dans Trisquel.
Bons vendeurs d'ordinateurs
La musique libre ? J'aime !