Gentoo Forums
Gentoo Forums
Gentoo Forums
Quick Search: in
[Eterm] Comment changer la police?(résolu)
View unanswered posts
View posts from last 24 hours

 
Reply to topic    Gentoo Forums Forum Index French
View previous topic :: View next topic  
Author Message
neeux
n00b
n00b


Joined: 06 Jun 2004
Posts: 26

PostPosted: Sun Jul 18, 2004 12:41 pm    Post subject: [Eterm] Comment changer la police?(résolu) Reply with quote

Je voudrais changer la police de mon terminal et je n'y arrive pas...

J'ai donc fait man Eterm pour trouver l'option et je vois qu'il s'agit de "-F"

Je lance donc mon Eterm avec les options suivantes :

Code:

Eterm --trans --shade 50 --buttonbar false --border-width 0 --scrollbar-width 0 --borderless true --scrollbar false -F Monospace


Seulement ca ne change rien...

Une idée?


Last edited by neeux on Tue Jul 20, 2004 5:20 am; edited 1 time in total
Back to top
View user's profile Send private message
CoinCoin
Tux's lil' helper
Tux's lil' helper


Joined: 30 Apr 2004
Posts: 100
Location: France

PostPosted: Sun Jul 18, 2004 5:40 pm    Post subject: Reply with quote

yop,

Tu peux modifier le fichier de configuration et remplacer les différentes polices.
Code:
~/.Eterm/themes/Eterm/user.cfg


xfontsel te permet de voir les polices installées chez toi, et te génére le bon format (famille, police, dpi...)

exemple:

Code:
font 0 -artwiz-smoothansi-*-*-*-*-13-*-*-*-*-*-*-*

_________________
J'aime la bière, même si la recette n'est pas libre.
Back to top
View user's profile Send private message
neeux
n00b
n00b


Joined: 06 Jun 2004
Posts: 26

PostPosted: Mon Jul 19, 2004 5:22 am    Post subject: Reply with quote

Merci pour ta réponse.. Je connaissais pas cet outil... C terrible..

Par contre je n'ai pas de répértoire .Eterm dans mon dossier perso.. :?
Back to top
View user's profile Send private message
CoinCoin
Tux's lil' helper
Tux's lil' helper


Joined: 30 Apr 2004
Posts: 100
Location: France

PostPosted: Mon Jul 19, 2004 7:28 am    Post subject: Reply with quote

Quote:
Par contre je n'ai pas de répértoire .Eterm dans mon dossier perso..


Il faut que tu sauvegarde ta configuration au moins une fois. Tu trouveras ca dans le menu de Eterm. Si je me rappelle bien, il fait une différence entre le thème et la configuration. Enfin je suis sûr que tu trouveras facilement.
_________________
J'aime la bière, même si la recette n'est pas libre.
Back to top
View user's profile Send private message
neeux
n00b
n00b


Joined: 06 Jun 2004
Posts: 26

PostPosted: Tue Jul 20, 2004 5:20 am    Post subject: Reply with quote

oui c bon merci beaucoup :D
Back to top
View user's profile Send private message
Display posts from previous:   
Reply to topic    Gentoo Forums Forum Index French All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum