Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 03-12-2013 09:27:07

smolski
administrateur quasi...modo
Lieu : AIN
Distrib. : 8 (jessie) 64 bits + backports
Noyau : 4.6.0-0.bpo.1-amd64
(G)UI : gnome 3.14.1
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à. wink

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


"Définition d'eric besson : S'il fallait en chier des tonnes pour devenir ministre, il aurait 2 trous du cul." - JP Douillon
"L'utopie ne signifie pas l'irréalisable, mais l'irréalisée." - T Monod (source :  La zone de Siné)
"Je peux rire de tout mais pas avec n'importe qui." - P Desproges
"saque eud dun" (patois chtimi : fonce dedans)

En ligne

#2 03-12-2013 14:14:24

golgot200
Membre
Lieu : AIN
Distrib. : Debian Jessie
Noyau : Linux debian 3.16.0-4-amd64
(G)UI : MATE
Inscription : 05-08-2007

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 wink


L'ultime question ... l'intelligence a besoin de la bêtise pour s'affirmer, la beauté a besoin de la laideur pour resplendir, le courage nait dans la peur, les forts impressionnent au millieu des faibles, mais au final,... qui a donc besoin d'autant de connards ?

Hors ligne

#3 03-12-2013 16:30:23

golgot200
Membre
Lieu : AIN
Distrib. : Debian Jessie
Noyau : Linux debian 3.16.0-4-amd64
(G)UI : MATE
Inscription : 05-08-2007

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 smile


1386081189.png

Dernière modification par golgot200 (03-12-2013 16:33:34)


L'ultime question ... l'intelligence a besoin de la bêtise pour s'affirmer, la beauté a besoin de la laideur pour resplendir, le courage nait dans la peur, les forts impressionnent au millieu des faibles, mais au final,... qui a donc besoin d'autant de connards ?

Hors ligne

#4 03-12-2013 18:04:25

smolski
administrateur quasi...modo
Lieu : AIN
Distrib. : 8 (jessie) 64 bits + backports
Noyau : 4.6.0-0.bpo.1-amd64
(G)UI : gnome 3.14.1
Inscription : 21-10-2008

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

Merci golgot200 !

Je teste et fais le retour smile

"Définition d'eric besson : S'il fallait en chier des tonnes pour devenir ministre, il aurait 2 trous du cul." - JP Douillon
"L'utopie ne signifie pas l'irréalisable, mais l'irréalisée." - T Monod (source :  La zone de Siné)
"Je peux rire de tout mais pas avec n'importe qui." - P Desproges
"saque eud dun" (patois chtimi : fonce dedans)

En ligne

#5 04-12-2013 08:19:40

smolski
administrateur quasi...modo
Lieu : AIN
Distrib. : 8 (jessie) 64 bits + backports
Noyau : 4.6.0-0.bpo.1-amd64
(G)UI : gnome 3.14.1
Inscription : 21-10-2008

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

Bingo golgot200 ! big_smile

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âââ ! lol

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

aptitude install xfonts-terminus

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


"Définition d'eric besson : S'il fallait en chier des tonnes pour devenir ministre, il aurait 2 trous du cul." - JP Douillon
"L'utopie ne signifie pas l'irréalisable, mais l'irréalisée." - T Monod (source :  La zone de Siné)
"Je peux rire de tout mais pas avec n'importe qui." - P Desproges
"saque eud dun" (patois chtimi : fonce dedans)

En ligne

Pied de page des forums