Bonjour,
j'utilise d'habitude un gnome-terminal et se matin j'ai dû lancer un
xterm or quelle ne fut ma surprise d'avoir un xterm trois fois trop long
et une font en corp 30... Un dpkg-reconfigure xterm ne donne rien et je
ne sais pas trop où chercher (j'ai jeté un coup d'oeil dans le bts mais
, il est très bien fait ce manuel.
Régis
- Original Message -
From: Mimile [EMAIL PROTECTED]
To: duf debian-user-french@lists.debian.org
Sent: Wednesday, June 25, 2003 9:54 AM
Subject: xterm trop grand
Bonjour,
j'utilise d'habitude un gnome-terminal et se matin j'ai dû lancer un
xterm
Le Wed, 25 Jun 2003 10:30:59 +0200
Regis [EMAIL PROTECTED] a écrit:
bonjour,
regarde le manuel d'Alexis de Lattre :
http://www.via.ecp.fr/~alexis/formation-linux/bases-graphique.html
Je connais, c'est une doc sympa
Il lance un xterm avec une taille personnalisée.
Effectivement, je
Salut,
Le 25/06/03 09:54, Mimile a écrit tout plein de choses, dont :
j'utilise d'habitude un gnome-terminal et se matin j'ai dû lancer un
xterm or quelle ne fut ma surprise d'avoir un xterm trois fois trop long
et une font en corp 30... Un dpkg-reconfigure xterm ne donne rien et je
ne sais
Le Wed 25/06/2003, Mimile disait
Bref, je précise ma question où se précise les
options génériques (taille, couleurs, font...)d'un xterm en dehors de
gnome? et comme question subsidiaire Qui a foutu la merde dans ma
config d'xterm?
ça passe par les ressources X.
Pour le défaut system-wide
On Wed, Jun 25, 2003 at 09:54:04AM +0200, Mimile wrote:
Bonjour,
j'utilise d'habitude un gnome-terminal et se matin j'ai dû lancer un
xterm or quelle ne fut ma surprise d'avoir un xterm trois fois trop long
et une font en corp 30... Un dpkg-reconfigure xterm ne donne rien et je
ne sais pas
Le Wed, 25 Jun 2003 10:49:43 +0200
moku [EMAIL PROTECTED] a écrit:
Salut,
Le 25/06/03 09:54, Mimile a écrit tout plein de choses, dont :
j'utilise d'habitude un gnome-terminal et se matin j'ai dû lancer un
xterm or quelle ne fut ma surprise d'avoir un xterm trois fois trop
long et une
Le Wed, 25 Jun 2003 11:24:04 +0200
Erwan David [EMAIL PROTECTED] a écrit:
Le Wed 25/06/2003, Mimile disait
Bref, je précise ma question où se précise les
options génériques (taille, couleurs, font...)d'un xterm en dehors
de gnome? et comme question subsidiaire Qui a foutu la merde dans
On Wed, Jun 25, 2003 at 11:46:56AM +0200, Mimile wrote:
Le Wed, 25 Jun 2003 11:24:04 +0200
Erwan David [EMAIL PROTECTED] a écrit:
Le Wed 25/06/2003, Mimile disait
Bref, je précise ma question où se précise les
options génériques (taille, couleurs, font...)d'un xterm en dehors
de
Le Wed 25/06/2003, Sven Luther disait
Le probleme c'est de trouver exactement le fichier qu'il faut. Branden
dit, si je ne me trompe, qu'il faut utiliser .Xresources, mais chez moi
cela ne marche pas.
Dans ce cas on peut toujours utiliser xrdb au démarrage de sa session.
--
Erwan
10 matches
Mail list logo