augmenter le rembourrage dans le terminal gnome

Autrefois, il y avait X Ressources . Création d'un .Xdefaults ou .Xresources dans votre répertoire personnel, vous pouvez modifier toutes sortes de paramètres pour les applications graphiques.

Les valeurs par défaut de l'ensemble du système sur mon ordinateur se trouvent dans /etc/X11/Xresources y /etc/X11/app-defaults mais je ne sais pas si gnome-terminal se préoccupe de l'un ou l'autre de ces aspects.

Éditer : aussi, ceci semble être le "département des thèmes", donc éditer des fichiers de thèmes ou démarrer gnome-terminal avec une version personnalisée de .gtkrc pourrait faire l'affaire, quelque chose comme

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

dans le terminal, ou en éditant le fichier gnome-terminal.destktop ci-dessus pour qu'il ressemble à

Exec=env GTK2_RC_FILES=/home/you/custom-gtkrc gnome-terminal

pourrait fonctionner.

Je n'ai pas trouvé de paramètre de padding dans l'éditeur gconf ou dconf. J'ai fait une recherche sur "terminal" dans le Centre de logiciels et j'ai trouvé un certain nombre d'applications de terminal. Gnome permettait de spécifier facilement différentes applications de terminal, mais les choses ont un peu changé. Le fichier /usr/share/applications/gnome-terminal.desktop est l'endroit où l'application de terminal à exécuter est spécifiée. Ouvrez ce fichier et vous trouverez

[New Shortcut Group]
Name=New Terminal
Exec=gnome-terminal
TargetEnvironment=Unity

L'option Exec=gnome-terminal peut être modifiée pour sélectionner une autre application de terminal. L'édition de ce fichier est un peu difficile car le type mime n'est pas reconnu par naultilus comme éditable. Vous devrez initier l'édition à partir de la ligne de commande comme suit :

sudo gedit /usr/share/applications/gnome-terminal.desktop

Après cette modification, l'application terminale peut être lancée de la même manière qu'auparavant, mais c'est votre application terminale alternative qui sera exécutée.

J'ai également utilisé une solution de contournement qui consiste à modifier les paramètres du thème (métacité 2). left_width au paramètre 15 ou 20 pixels.

Cela rend la bordure de la fenêtre épaisse sur le côté gauche et déplace la marge gauche effective à l'intérieur de la fenêtre. Cela me convient car la couleur de la bordure de la fenêtre et la couleur d'arrière-plan du terminal sont proches.

J'ai fait des recherches approfondies à ce sujet et la seule autre façon de procéder est de passer à l'option xterm comme indiqué ci-dessus. Cependant, la configuration de xterm est fastidieuse et doit être effectuée à l'aide de la commande .Xresources il n'y a pas de menu avec xterm.