Pour changer la taille par défaut du terminal Gnome, il suffit d’éditer le raccourcis (clic droit sur le menu application, éditer les menus, sélectionner Terminal et cliquer sur propriétés)


Et ajouter à la fin de la ligne de commande :

–geometry=150×65


A adapter selon la taille de votre écran, les dimensions sont données en pixels.

Rque : il s’agit d’un double tiret devant geometry


Reste à savoir comment automatiser cette manipulation via script….


Edit 27/04/2010 :

Ce paramètre de ligne de commande n’est pas propre à l’application terminal, il s’agit d’un paramètre commun à toutes les applications GTK (Gnome).

On peut aussi via ce paramètre décider de la position de la fenêtre en plus de sa taille, cf. Positionner les fenêtres GTK (Gnome) au lancement des applications avec l’option –geometry

Edit 04/05/2010 :

Ajout de la source (retrouvée en faisant du ménage dans mes bookmarks)


Source :

Régler la taille du terminal Gnome

Image par mbernet sous CC BY-NC-SA

Les commentaires sont fermés.