Régler la taille du terminal Gnome
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:\\