Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 12/12/2009, à 14:12

peterp@n

Grub2 et son look ! Changer taille et police ?

Bonjour à tous,
Avec Karmic, j'apprends à me servir de grub2 et à le personnaliser.

J'ai déjà changer la résolution : 1024x768x24 (le max que je puisse faire).
J'ai rajouter un zolie fond d'écran.
J'ai changer la couleur du texte et la barre de selection.

Mais maintenant j'aimerais pouvoir changer la taille et si possible la police de caractère du texte. Parce que pour l'instant c'est petit.

N'y a t il pas des commandes à rajouter dans le fichier 05_debian_theme ?
Par exemple après :

set color_normal=blue/black
  set color_highlight=white/black

Je rajouterais bien :

set size_normal=16

Est ce que vous l'avez fait ? Est ce que c'est possible ?

PS:J'ai écrit un petit script qui m'ouvre les fichiers de config de grub2 :

#!/bin/bash
# Version du script a.1

gksudo gedit /etc/default/grub /etc/grub.d/05_debian_theme /etc/grub.d/40_custom /etc/grub.d/30_os-prober /boot/grub/grub.cfg /boot/grub/grub.cfg.autogénéré

exit 0

Quelqu'un peut me donner un bout de code pour créer un bouton qui me permette de faire un "sudo update-grub" ?

Dernière modification par Peterpan12 (Le 13/12/2009, à 14:00)


Ubuntu 14.04 64bits, Raspbian “wheezy”, Tango Studio sauce debian
Assistance - Développement - Formations FreeCAD (logiciel 3d)

Hors ligne

#2 Le 13/12/2009, à 14:05

peterp@n

Re : Grub2 et son look ! Changer taille et police ?

Petit up !
J'ai trouvé ça sur le net : http://grub.enbug.org/ThemeFormat

Est ce que le fichier : http://grub.enbug.org/ThemeFormat#theme-file-examples est à mettre dans le fichier 05_debian_theme ?


Ubuntu 14.04 64bits, Raspbian “wheezy”, Tango Studio sauce debian
Assistance - Développement - Formations FreeCAD (logiciel 3d)

Hors ligne

#3 Le 13/12/2009, à 23:08

peterp@n

Re : Grub2 et son look ! Changer taille et police ?

Yop !
Ben personne ne s'est penché sur le sujet ?:P
J'essayerais dans les prochains jour de mettre les lignes trouvées sur le lien ci dessus dans le fichier 05_debian_theme pour voir...:cool: (je vais quand même installé un autre karmic pour faire ça wink )

Enfin si je pouvais juste augmenter la taille du texte de Grub2 ça serai parfait !
A+


Ubuntu 14.04 64bits, Raspbian “wheezy”, Tango Studio sauce debian
Assistance - Développement - Formations FreeCAD (logiciel 3d)

Hors ligne

#4 Le 21/05/2010, à 08:05

jn

Re : Grub2 et son look ! Changer taille et police ?

Petit UP pour savoir si tu aurais trouver comment agrandir la taille des caractères.


Portable Médion LT97500  -  Ubuntu 10.10 "The Maverick Meerkat" + Compiz fusion
Processeur : Intel centrino 1,7 GHz; RAM: 1 Go
Carte graphique : ATI mobility X700XL (Driver Libre Radeon)

Hors ligne

#5 Le 21/05/2010, à 12:18

peterp@n

Re : Grub2 et son look ! Changer taille et police ?

Non , je n'ai rien trouvé ...


Ubuntu 14.04 64bits, Raspbian “wheezy”, Tango Studio sauce debian
Assistance - Développement - Formations FreeCAD (logiciel 3d)

Hors ligne