Changer la taille par défaut de gnome-terminal

Introduction

Pour tous les command line junkies (comme moi) qui trouvent tout de même appréciable d'avoir un terminal en mode graphique se heurtent facilement à un problème de la taille du gnome-terminal lors de son ouverture.

Un patch a été produit, mais il n'est pas fonctionnel (testé sur la version 2.26.0). Il sera inclus et fonctionnel probablement pour la version 2.26.2.

En attendant 2 solutions s'offrent à nous.

Solution 1

gnome-terminal possède un argument permettant de spécifier sa taille.

gnome-terminal --geometry 102x26

lance le terminal d'une largeur de 102 caractères et 26 lignes.

Libre à vous ensuite de modifier votre icône ou bien de rajouter un exécutable dans /usr/local/bin/.

Exemple pour l'executable term:

sudo touch /usr/local/bin/term

sudo chmod +x /usr/local/bin/term

sudo nano -e /usr/local/bin/term

Et on rajoute le code suivant :

#!/bin/bash
/usr/bin/gnome-terminal --geometry 102x26

J'utilise cette méthode car elle me permet de lancer un terminal rapidement en tapant «alt»+F2 et en tapant term plutôt que gnome-terminal. De plus je me suis fait un exécutable bigterm qui me permet d'avoir quand je le souhaite un grand gnome-terminal.

Pour être sur que tous les programmes voulant lancer gnome-terminal utiliser le script term, on rajoute un lien symbolique sur celui-ci, au même endroit (/usr/local/bin est prioritaire sur /usr/bin)

sudo ln -s /usr/local/bin/term /usr/local/bin/gnome-terminal

Solution 2

Je considère cette solution de barbare, mais on la retrouve souvent dans la littérature. Je vous la livre donc tout de même. Il s'agit de modifier un fichier de type share.

sudo nano -e /usr/share/vte/termcap/xterm

Recherchez ce qui ressemble à (ligne 10)

:co#80:it#8:li#24:\

Changez les nombres, par exemple avec les paramètres vu précédemment :

:co#102:it#8:li#26:\

Sauvegardez et fermez tous les gnome-terminal.