Forum Linux.debian/ubuntu changer la police de la console

Posté par  .
Étiquettes : aucune
0
26
fév.
2006
salut,

voici le pb :

- dans ma session gnome, ma police est normale

- dans ma session openbox, elle est toute petite

cela ne vient donc pas du fichier .zshrc

de quel fichier cela vient ?

comment faire pour la changer ?

merci

  • # re

    Posté par  . Évalué à 3.

    En fait, sous X, tu définis tout les paramètres soit en ligne de commande (par exemple avec aterm -fn ) soit via le fichier .Xresources qui est "sourcé" à chaque lancement de X.

    Exemple:
    aterm*transparent: true
    aterm*scrollBar: false
    aterm*reverseVideo: true
    aterm*shading: 60
    aterm*visualBell: true

    Je pense que tu n'utilises pas le même émulateur de terminal selon que tu es sous gnome ou openbox, tu dois donc lire la doc de chacun pour savoir ce qu'il faut mettre dans ton .Xresources pr avoir quelque chose d'a peu près cohérent.

    • [^] # Re: re

      Posté par  . Évalué à 1.

      oui mais en réalité j'utilise xterm et non aterm.

      • [^] # Re: re

        Posté par  . Évalué à 2.

        Euh ... conseil: relis mon poste, et à l'occasion cherche la définition du mot "exemple" dans un dictionnaire ...

        • [^] # Re: re

          Posté par  . Évalué à 1.

          salut,

          merci pour ta réponse mais en fait on utilise finalement gnome-terminal lol :)).

          et malgré avoir cherché beaucoup de temps sur internet, on n'a pas trouvé une commande qui permettrait de charger la police du terminal.

          si quelqu'un sait comment faire ?

          merci

          a+

          • [^] # gconf-editor

            Posté par  . Évalué à 1.

            comme pour beaucoup d'applis gnome, jette un oeil du coté de gconf-editor (éditeur de la base de regsitre de gnome ...)

            En particulier, la clé gconf-editor : / -> apps -> gnome-terminal -> profiles -> Default -> font a l'air sympathique .....

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.