[Linux] taille de l'affichage dans terminal

[R. Bastian]

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


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