Modifier Police et taille Xterm

Nyou · Le 07/07/2012, à 18:09

Bonjour à tous,

J'ai installé la dernière version de Ubuntu : Ubuntu 12.04 LTS, et après avoir recherché sur différents forums, je n'arrive pas à trouver le fichier sur cette version, qui me permettrait de modifier la police (et taille) de Xterm par défaut.

Est-ce que l'un d'entre vous aurez la solution ?

Merci

nesthib · Le 07/07/2012, à 18:58

regarde dans le fichier .Xdefaults
je pense que tu dois ajouter quelque chose du genre :

XTerm*faceName: liberation mono:pixelsize=10

ou

XTerm*faceName: Liberation Mono
XTerm*faceSize: 10

Nyou · Le 08/07/2012, à 09:13

Bonjour nesthib,

En fait je n'ai pas de fichier .Xdefaults, mais un fichier XTerm (dispo dans /etc/X11/app-defaults/XTerm)

Dans ce fichier quand je modifie la ligne: !*faceSize: 8 , par 10, 12... rien ne se modifie...

Et je ne trouve pas ces 2 options : XTerm*faceName , XTerm*faceSize

serged · Le 08/07/2012, à 10:55

C'est maintenant le fichier .Xresources (à créer dans ton répertoire home).
Après chaque modification, il faut faire un :

xrdb ~/.Xresources

Nyou · Le 08/07/2012, à 23:34

Excuse moi, en fait je suis assez novice sous Linux, je me suis donc sûrement trompé, voila ce que j'ai fait :

Dans Terminal j'ai été dans /home/user, j'ai tapé "touch Xresources", puis la commande "xrdb ~/.Xresources"

Mais j'ai un retour :
xrdb: No such file or directory
xrdb: can't open file '/home/user/.Xresources'

xavier4811 · Le 09/07/2012, à 02:16

Bonsoir,

Sous linux, le point devant un fichier fait partie du nom et indique qu'il s'agit d'un fichier caché.
~/Xresources & ~/.Xresources sont donc différents.
Utilise

mv ~/Xresources ~/.Xresources

pour le renommer correctement.

Nyou · Le 09/07/2012, à 23:29

Bonsoir xavier4811,

Merci, j'ai corrigé mon erreur

Par contre lorsque je redémarre, je vois que la conf n'est pas sauvegardé. Enfin le fichier /etc/X11/app-defaults/XTerm comporte toujours la valeur que j'ai modifié, mais je suis obligé de retaper la commande "xrdb ~/.Xresources" dans un terminal pour que ça soit de nouveau pris en compte.

Ensuite 2eme pbl, j'ai modifié le paramètre "*faceSize: 8" et c'est la couleur du fond d’écran qui passe de noir à blanc (et le texte également), alors que j'ai bien dans le commentaire précédent ce paramètre ; "! The "faceSize" resource controls the size of the latter."

Moi qui pensais que c’était simple...

xavier4811 · Le 10/07/2012, à 00:03

/etc/X11/app-defaults/XTerm ne doit pas être modifié, comme tout fichier se trouvant dans le dossier /etc/.
Les fichiers de config de ton compte se trouvent dans ton dossier /home/ton_nom/ et le plus souvent avec un point pour les cacher.
Pour les afficher dans un terminal, utilise la commande

ls -a

En graphique surement Affichage\Afficher les fichiers cachés.

Si tu veux que les modifs soient prises en compte

cp /etc/X11/app-defaults/XTerm  ~/.Xresources && xrdb ~/.Xresources

Après tu devra juste modifier /home/ton_nom/.Xresources et relancer

xrdb ~/.Xresources

Dernière modification par xavier4811 (Le 10/07/2012, à 00:13)

speche · Le 06/03/2013, à 12:44

Bonjour,
je suis vrai débutant sous linux; Je viens d'installer Ubuntu 12.10 et je voudrais changer la taille de la police de la fenêtre Xterm.
dans le répertoire /etc/X11, je n'ai pas de répertoire app-default et je ne vois pas où se trouve le fichier Xterm à modifier.
J'aurais aussi voulu connaitre la commande permettant d'éditer et de modifier un fichier et tant qu'on y est où trouver de la documentation pour débuter avec unix

Merci!

elendil · Le 06/03/2013, à 13:11

speche a écrit :

Bonjour,
je suis vrai débutant sous linux; Je viens d'installer Ubuntu 12.10 et je voudrais changer la taille de la police de la fenêtre Xterm.
dans le répertoire /etc/X11, je n'ai pas de répertoire app-default et je ne vois pas où se trouve le fichier Xterm à modifier.

Si tu avais bien lu ce qui a été écris par xavier4811 tu aurais vu qu'il ne faut pas toucher au dossier /etc !

speche a écrit :

J'aurais aussi voulu connaitre la commande permettant d'éditer et de modifier un fichier et tant qu'on y est où trouver de la documentation pour débuter avec unix

Rien à voir avec le sujet mais tu trouveras un bon début dans la documentation qui est À LIRE AVANT DE POSTER !
Et pour finir Ubuntu = Linux qui n'est pas exactement la même chose que Unix.

speche · Le 06/03/2013, à 13:34

j'avais cru comprendre qu'il fallait éditer un fichier nommé XTerm, modifier ses paramètre et sauver la version modifiée dans home.

Je n'ai pas compris la manip avec le fichier .Xresources, un touch le crée mais après?

Merci pour tout

elendil · Le 06/03/2013, à 14:28

Ben le messagde xavier4811 est assez clair pourtant.
Une fois que tu l'as créé, tu modifies le fichier ~/.Xresources pour y mettre tes préférences.

xavier4811 a écrit :

Après tu devra juste modifier /home/ton_nom/.Xresources et relancer
xrdb ~/.Xresources

Dernière modification par elendil (Le 06/03/2013, à 14:29)

nesthib · Le 06/03/2013, à 16:14

Pas besoin de créer le fichier avec touch (qui ne sert d'ailleurs pas à créer des fichiers, mais à modifier leur date…), il suffit d'ouvrir un éditeur de texte et d'enregistrer le fichier au bon endroit.
Sous ubuntu tu peux utiliser gedit :

gedit ~/.Xresources

(ou directement en graphique)

speche · Le 06/03/2013, à 16:26

J'ai copié le fichier Xterm dans ~/.Xresources que j'ai édité.
IL ne contient pas de variables Xterm*faceName ni faceSize.

j'ai ajouté le texte
XTerm*faceName: Liberation Mono
XTerm*faceSize: 10

j'ai sauvé et xrdb le fichier, mais la taille ne change pas après un redémarrage, j'ai essayé avec XTerm*faceSize: 14 pour voir si 10 n'était pas la taille de départ mais pas mieux.
merci de votre patience...

grandtoubab · Le 06/03/2013, à 16:52

Salut
Dans la fenetre Xterm -> Edition -> Preferences du profil

Et tu peux modifier ce que tu veux

speche · Le 06/03/2013, à 17:06

j'ai très honte mais je n'arrive pas à trouver un menu édition pour la fenêtre Xterm, en cliquant droit sur son icone ou autre.

Avec la fenêtre XTerm je n'ai pas de barre de menu en haut de l'écran.

je fais pas exprès, je viens de windows.

Dernière modification par speche (Le 06/03/2013, à 17:17)

grandtoubab · Le 06/03/2013, à 17:51

speche a écrit :

j'ai très honte mais je n'arrive pas à trouver un menu édition pour la fenêtre Xterm, en cliquant droit sur son icone ou autre.
Avec la fenêtre XTerm je n'ai pas de barre de menu en haut de l'écran.
je fais pas exprès, je viens de windows.

Si tu es avec Unity , tu ouvres ta fenetre xterm, tu clic dessus pour qu'elle soit active,
Tu fais glisser ta souris à gauche sur la barre noir du haut (celle ou il y a ton nom, l'heure, l'icone haut-parleur,....)
et ça doit faire apparaitre les menus disponible de la fenêtre active donc xterm si tu m'as bien suivi

2ieme methode
tu ouvres ta fenetre xterm, tu clic dessus pour qu'elle soit active

Alt + F -> les menus doivent apparaitre sur la barre du haut

Dernière modification par grandtoubab (Le 06/03/2013, à 17:57)

speche · Le 06/03/2013, à 17:57

J'ai bien des menus sur la barre du haut pour toutes les applications, mais pas pour Xterm, il n'y a rien du tout.

Alt F ne fonctionne pas non plus

Dernière modification par speche (Le 06/03/2013, à 18:11)

speche · Le 07/03/2013, à 16:23

Quelque chose de moins élégant mais dont je vais avoir du mal à me passer:

CRTL + click droit.

Le bonheur!

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 07/07/2012, à 18:09

Modifier Police et taille Xterm

#2 Le 07/07/2012, à 18:58

Re : Modifier Police et taille Xterm

#3 Le 08/07/2012, à 09:13

Re : Modifier Police et taille Xterm

#4 Le 08/07/2012, à 10:55

Re : Modifier Police et taille Xterm

#5 Le 08/07/2012, à 23:34

Re : Modifier Police et taille Xterm

#6 Le 09/07/2012, à 02:16

Re : Modifier Police et taille Xterm

#7 Le 09/07/2012, à 23:29

Re : Modifier Police et taille Xterm

#8 Le 10/07/2012, à 00:03

Re : Modifier Police et taille Xterm

#9 Le 06/03/2013, à 12:44

Re : Modifier Police et taille Xterm

#10 Le 06/03/2013, à 13:11

Re : Modifier Police et taille Xterm

#11 Le 06/03/2013, à 13:34

Re : Modifier Police et taille Xterm

#12 Le 06/03/2013, à 14:28

Re : Modifier Police et taille Xterm

#13 Le 06/03/2013, à 16:14

Re : Modifier Police et taille Xterm

#14 Le 06/03/2013, à 16:26

Re : Modifier Police et taille Xterm

#15 Le 06/03/2013, à 16:52

Re : Modifier Police et taille Xterm

#16 Le 06/03/2013, à 17:06

Re : Modifier Police et taille Xterm

#17 Le 06/03/2013, à 17:51

Re : Modifier Police et taille Xterm

#18 Le 06/03/2013, à 17:57

Re : Modifier Police et taille Xterm

#19 Le 07/03/2013, à 16:23

Re : Modifier Police et taille Xterm

Pied de page des forums