Ubuntu-fr

Nyou

Modifier Police et taille Xterm

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

Re : Modifier Police et taille Xterm

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

---

GUL les mardis à Bordeaux : Giroll
Hide in your shell, scripts & astuces :  applications dans un tunnel – smart wget – trouver des pdf – install. auto de paquets – sauvegarde auto – ♥ awk
  ⃛ɹǝsn xnuᴉꞁ uʍop-ǝpᴉsdnGMT-4

Nyou

Re : Modifier Police et taille Xterm

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

Re : Modifier Police et taille Xterm

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

xrdb ~/.Xresources

---

Linux-Mint Maya 64 Cinnamon sur Toshiba Satellite P200-1BY. Linux-Mint  Nadia 64 Cinnamon sur Compaq Presario SR5617FR

Nyou

Re : Modifier Police et taille Xterm

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

Re : Modifier Police et taille Xterm

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.

---

Asus M5A88-v EVO:AMD Phenom II X4 960T BE:16 Go DDR3:Precise Pangolin
HP dv7-3145ef:i5-430M:4 Go DDR3:Oracle Linux 6.4
EMachine EM350:Atom N450:1 Go DDR2:Debian Wheezy
Et Red Hat EL6 live fait maison a partir des sources.

Nyou

Re : Modifier Police et taille Xterm

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

Re : Modifier Police et taille Xterm

/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)

---

Asus M5A88-v EVO:AMD Phenom II X4 960T BE:16 Go DDR3:Precise Pangolin
HP dv7-3145ef:i5-430M:4 Go DDR3:Oracle Linux 6.4
EMachine EM350:Atom N450:1 Go DDR2:Debian Wheezy
Et Red Hat EL6 live fait maison a partir des sources.

speche

Re : Modifier Police et taille Xterm

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

Re : Modifier Police et taille Xterm

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 !

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

Re : Modifier Police et taille Xterm

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

Re : Modifier Police et taille Xterm

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.

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

Re : Modifier Police et taille Xterm

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)

---

GUL les mardis à Bordeaux : Giroll
Hide in your shell, scripts & astuces :  applications dans un tunnel – smart wget – trouver des pdf – install. auto de paquets – sauvegarde auto – ♥ awk
  ⃛ɹǝsn xnuᴉꞁ uʍop-ǝpᴉsdnGMT-4

speche

Re : Modifier Police et taille Xterm

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

Re : Modifier Police et taille Xterm

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

Et tu peux modifier ce que tu veux

---

Linux tout seul sur le disque dur  Acer Aspire T650 :=)) Precise Pangolin 12.04.2 LTS 32 bits,
Noyau Linux 3.4.46 http://kernel.ubuntu.com/~kernel-ppa/ma … 6-quantal/
GNOME 3.4.2, RAM: 1,7 Gio, CPU: Intel® Pentium(R) 4 CPU 3.06GHz × 2.
chromium-browser 26.0.1410.63 - Flash Player: Pepper 11.7.700.203

speche

Re : Modifier Police et taille Xterm

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

Re : Modifier Police et taille Xterm

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)

---

Linux tout seul sur le disque dur  Acer Aspire T650 :=)) Precise Pangolin 12.04.2 LTS 32 bits,
Noyau Linux 3.4.46 http://kernel.ubuntu.com/~kernel-ppa/ma … 6-quantal/
GNOME 3.4.2, RAM: 1,7 Gio, CPU: Intel® Pentium(R) 4 CPU 3.06GHz × 2.
chromium-browser 26.0.1410.63 - Flash Player: Pepper 11.7.700.203

speche

Re : Modifier Police et taille Xterm

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

Re : Modifier Police et taille Xterm

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

CRTL + click droit.

Le bonheur!