Pacoux
Sous gnome ca marche, j'ai pas essayé ailleurs... A vous de jouer...
Si vous trouvez que les terminaux son durs à lire : trop petits
Ctrl Shift(Maj) + Agrandit
Ctrl - Diminue
Ne pas utiliser le pavé numérique: il rendra rien
A+
Pacoux
up
I Need Mo' Money
Merci pour l'astuce mais chez moi ca ne fonctionne pas (je suis sous KDE...)
pmd
Marche pas avec xfterm4.
tshirtman
oui ou changer la taille de la police directement dans les options du terminal...
Pacoux
N'hésitez pas a tester et poster vos retours...........
Je liste
A+
bito0205
J'utilise cette méthode mais je voudrais savoir s'il ne serait pas possible de donner une taille par défaut dans bashrc ?
Merci beaucoup
tshirtman
Pourquoi le bashrc? il ne se préocupe pas de la police (de la couleur à la limite mais c'est tout, c'est les options du langage bash, qui est ce qu'on appèle un shell) le reste est à régler dans les options de ton terminal (le programme qui affiche ton shell, ici bash), pour gnome terminal clic droit dessus, éditer le profile actuel, tu déclique "utiliser la police à casse fixe du systeme" et tu change la taille de la police, tu peut même utiliser une autre police si tu en connais une plus faclie à lire pour toi.
Instanton
Avec la Konsole de Kde, il suffit d'assigner le raccourcis clavier qu'on veut à "changer la taille de la police" (dans Configurer les raccourcis clavier, de manière assez peu étonnante...)
bito0205
Merci beaucoup pour l'info, ça marche très bien et désolé pour la confusion avec le bashrc.
A bientà´t
