Question surement bête mais comment faire pour régler la taille d'un terminal ( ici gnome-terminal) pour qu'au lancement, il soit à la taille désirée. Vous remarquerez le coté existentiel de cette problématique et hautement prioritaire sachant que l'on peut à tout moment, redimensionner la fenêtre du terminal. Bref, c'est inutile donc indispensable... Le système utilisé ici est Ubuntu 9.10 mais je pense que cette configuration doit pouvoir aisément se faire sur d'autres systèmes gnu/linux.
La configuration pour un seul utilisateur
Il faut modifier la clé suivante dans le registre gconf
Lancer la commande suivante
$sudo gedit /usr/share/vte/termcap/xterm
et modifier la clé exec_arg pour ajouter l'option suivante --geometry 80x40
Fermer tous les terminaux et lancer gnome-terminal pour voir si c'est OK
La configuration pour tout le système
Un peu brutal certes, mais bon ...
Petit rappel : La manipulation du fichier suivant peut provoquer quelques dysfonctionnements concernant l'utilisation du terminal. Pensez à faire une sauvegarde avant de le modifier!
Lancer la commande suivante:
$sudo gedit /usr/share/vte/termcap/xterm
Modifier la ligne
:co#80:it#8:li#24:\
Pour mettre le bon nombre de colonnes et de lignes ici
:co#100:it#8:li#40:\
3 réactions
1 De liberforce - 12/11/2009, 14:26
Oula là... Pas très joli tout ça. Déjà il y a beaucoup de confusion...
1. Tu parles de modifier le registre gconf, et ce n'est absolument pas ce que tu fais. On accède à gconf via gconf-editor ou gconftool. Les options de gnome-terminal sont accessibles dans /apps/gnome-terminal
2. Pourquoi ne pas créer un lanceur et utiliser directement l'option geometry de gnome-terminal ? Il suffit de modifier la commande du lanceur pour utiliser à la place : gnome-terminal --geometry=80x40
Cette option est pourtant documentée dans l'aide : gnome-terminal --help-window-options
En revanche, j'avoue ne pas savoir comment faire pour rendre la modification globale au système.
2 De Julien - 12/11/2009, 18:48
Pourquoi vouloir modifier de façon globale une préférence utilisateur ?
Pour moi, le plus simple est d'utiliser ce que GNOME nous fournit :
Applications préférées > Système.
Choisir l'option "personnalisé" pour le terminal, et utiliser :
/usr/bin/gnome-terminal --geometry=150x45
(ne pas oublier l'indicateur d'exécution -x pour gnome-terminal)
Julien
PS: je n'arrive pas à faire des paragraphes, les lignes vierges sont apparemment effacées... ou c'est juste l'aperçu de commentaire ?
3 De poulpoul - 24/12/2009, 11:40
ah nickel chrome, exactement ce que je cherchais, toujours devoir le redimensionner à la longue ....
bien pratique
merci
++
Poulpoul