[Linux] taille de l'affichage dans terminal

[R. Bastian]

On Fri, 10 Oct 2008 20:49:35 +0200
François DREYFÜRST <francois.dreyfuerst@::1> wrote:

> Le vendredi 10 octobre 2008 à 16:38 +0200, R. Bastian a écrit :
> > On Fri, 10 Oct 2008 13:52:54 +0200
> > Victor Stinner <victor.stinner@::1> wrote:
> > 
> > > Le Friday 10 October 2008 12:52:34 R. Bastian, vous avez écrit :
> > > > ça marche, mais les caractères de ce qui s'affiche dans le
> > > > terminal est trop petit; donc  il faut après chaque lancement
> > > > augmenter la taille de l'affichage par 'Ctrl +'.
> > > 
> > > Tu ne peux pas changer la configuration du terminal Gnome (taille de la 
> > > police) pour changer la taille de la police par défaut ? Regarde les menus du 
> > > terminal.
> > 
> > J'ai regardé et, comme dit, je peux changer la barre (ou 
> > de cadre) "Fichier Edition Affichage Terminal Onglets Aide".
> > Dans "Affichage", on propose, comme dit, <Ctrl +>, 
> > mais à la fin de la session, tout est oublié ...
> > 
> > > 
> > > -- 
> > > Victor Stinner aka haypo
> > > http://www.haypocalc.com/blog/
> > > 
> > 
> Et en contournant le problème ? Mon idée, très grossièrement : au lieu
> d'ouvrir un Gnome-terminal, préférer un bon vieux xterm, avec l'espoir
> qu'il se laisse mieux configurer, vu que s'il porte bien son nom, xterm
> est plus directement géré par le serveur X lui-même qu'un
> Gnome-terminal ... ou bien ?
> 
> FD
Clôture: :-)

La solution de J-F Koenig est _la_ solution.

[La proposition
de A. Franke ne marche pas ... p-ê que je n'avais 
pas bien formulé ma question]

Utiliser un 'xterm' s/ Gnome ? D'abord il faudrait se débarasser de
Gnome, envahissant comme Windows. Libre ? Il était une fois ...

-- 
R. Bastian 
www.musiques-rb.org
http://www.centrotemporeale.it/index.php?lang=it&sez=news&id=20080926