Debian-facile

smolski

quasi...modo

Lieu : AIN

Distrib. : backports (buster) 10

Noyau : Linux 4.19.0-8-amd64

(G)UI : gnome

Inscription : 21-10-2008

[Résolu] Modification de la police dans xterm impossible.

Salut t'a tous !

Voilà, après 3 installations satisfaisantes de awesome 3.4.15 sous jessie sur 3 pc identiques, je me trouve a ne pas pouvoir modifier sur aucun la police utilisée par xterm selon la méthode suivante :

vim .Xdefaults

xterm*font: -xos-terminus-iso8859-15-bold-32
xterm*backrground: Black
xterm*foreground: lightgray

Aidé sur irc, nous avons aussi tenté l'écriture :

xterm -fn '-misc-fixed-medium-r-normal--20-200-75-75-c-100-iso8859-15'

et la relance de la config avec le terminal fermé est :

xrdb ~/.Xdefault

Si vous avez des idées, ne vous gênez pas, je les testerai volontier et rapidement car j'hiberne mon entreprise de décembre à mars là.

Dernière modification par smolski (04-12-2013 08:03:20)

---

saque eud dun (patois chtimi : fonce dedans)

Anonyme

Invité

Re : [Résolu] Modification de la police dans xterm impossible.

Bonjour smolsky

moi, j'ai crée un fichier .Xresources

! Use a nice truetype font and size by default...
xterm*faceName:DejaVu Sans Mono Book
xterm*faceSize:13

! Every shell is a login shell by default (for inclusion of all necessary environment variables)
xterm*loginshell:true

! I like a LOT of scrollback...
xterm*savelines:16384

! double-click to select whole URLs :D
xterm*charClass:33:48,36-47:48,58-59:48,61:48,63-64:48,95:48,126:48

! DOS-box colours...
xterm*foreground:rgb:a8/a8/a8
xterm*background:rgb:00/00/00
xterm*color0:rgb:00/00/00
xterm*color1:rgb:a8/00/00
xterm*color2:rgb:00/a8/00
xterm*color3:rgb:a8/54/00
xterm*color4:rgb:00/00/a8
xterm*color5:rgb:a8/00/a8
xterm*color6:rgb:00/a8/a8
xterm*color7:rgb:a8/a8/a8
xterm*color8:rgb:54/54/54
xterm*color9:rgb:fc/54/54
xterm*color10:rgb:54/fc/54
xterm*color11:rgb:fc/fc/54
xterm*color12:rgb:54/54/fc
xterm*color13:rgb:fc/54/fc
xterm*color14:rgb:54/fc/fc
xterm*color15:rgb:fc/fc/fc

! right hand side scrollbar...
xterm*rightScrollBar:true
xterm*ScrollBar:true

! stop output to terminal from jumping down to bottom of scroll again
xterm*scrollTtyOutput:false
 

Un ctrl + gauche/ou-milieu/ou droit au choix pour les options

Anonyme

Invité

Re : [Résolu] Modification de la police dans xterm impossible.

EDIT:

Testé

xterm*faceName:DejaVu Sans Mono Book
 

par ma police:

xterm*faceName:Classic Robot
 

Marche nickel

Dernière modification par Anonyme (28-03-2017 06:39:03)

smolski

quasi...modo

Lieu : AIN

Distrib. : backports (buster) 10

Noyau : Linux 4.19.0-8-amd64

(G)UI : gnome

Inscription : 21-10-2008

Re : [Résolu] Modification de la police dans xterm impossible.

Merci Anonyme !

Je teste et fais le retour

---

saque eud dun (patois chtimi : fonce dedans)

smolski

quasi...modo

Lieu : AIN

Distrib. : backports (buster) 10

Noyau : Linux 4.19.0-8-amd64

(G)UI : gnome

Inscription : 21-10-2008

Re : [Résolu] Modification de la police dans xterm impossible.

Bingo Anonyme !

Voici la ce qu'il faut inscrire dans le fichier de conf :

xterm*faceName:terminus
xterm*faceSize:13

Pour que cela marche avec la police terminus.

Ensuite actualiser l'opération :

xrdb ~/.XDefaults

Fermer et rouvrir le terminal.

Tchibâââ !

Edit :
Pour télécharger la police terminus :

aptitude install xfonts-terminus

Dernière modification par smolski (04-12-2013 07:47:06)

---

saque eud dun (patois chtimi : fonce dedans)