Je voudrais augmenter le rembourrage dans le terminal gnome, car le défaut n'a pas de rembourrage et me fait mal aux yeux.

(Rembourrage comme dans: je veux un espace entre la bordure de la fenêtre et l'endroit où l'entrée / la sortie de texte est affichée.)

Par exemple:

=[X][-][ ]=============My Terminal==================
|                                                  |
|  $> echo "Padding occurs on both sides for long  |
|     input"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================

Édité le 02 juin 2018: à compter de la version 18.04 d'Ubuntu, vous devez ajouter un sélecteur d'élément supplémentaire pour que cela fonctionne.

Paul avait surtout raison. Cette solution étendue fonctionne à partir d’ Ubuntu 14.04.1 avec le terminal GNOME 3.6.2 .

Pour toutes les versions:

1. Ajoutez le code suivant à ~/.config/gtk-3.0/gtk.css:
   

   VteTerminal,
   TerminalScreen,
   vte-terminal {
       padding: 10px 10px 10px 10px;
       -VteTerminal-inner-border: 10px 10px 10px 10px;
   }
   

   Edit: Vous devrez créer le fichier s'il n'existe pas déjà (merci jonS90).

2. Tuez toutes les instances de gnome-terminal:

   $ killall gnome-terminal
   

3. Redémarrez gnome-terminal.

J'ai essayé toutes les réponses ici sur Ubuntu 16.10 avec gnome-terminal 3.20.2 et elles ne fonctionnaient pas. J'ai trouvé la solution à jour dans ce fil de bord . Dans le fichier ~/.config/gtk-3.0/gtk.css(que vous devrez peut-être créer), ajoutez ceci:

vte-terminal {
    padding: 10px;
}

Pour éloigner la sortie du terminal des bordures de la fenêtre, créez la feuille de style ~ / .config / gtk-3.0 / gtk.css avec le paramètre suivant:

TerminalScreen {
 -VteTerminal-inner-border: 10px 10px 10px 10px;
}

https://bbs.archlinux.org/viewtopic.php?id=163964

Vous pouvez le faire avec certains terminaux, par exemple old xterm

xterm -b 10 -title "-b 10" -e nano &
xterm -title "no border spec" -e nano & 

Dans le manuel, man xtermvous apprendrez à définir les couleurs des polices, de l'avant-plan et de l'arrière-plan. Peut-être un peu délicat à configurer, mais très flexible.

Veuillez parcourir ce numéro - Unity Terminal 16.04

Le commentaire sur la liste de sélection décrit des solutions très appropriées pour Ubuntu 16.04 Terminals, où nous devons changer de fichier ~/.config/gtk-3.0/gtk.css:

VteTerminal,
TerminalScreen {
    padding: 10px 10px 10px 10px;
    -VteTerminal-inner-border: 10px 10px 10px 10px;
}

À

VteTerminal {
    padding: 10px;
}

paddingfonctionne comme un CSS normal padding.

Autrefois, il y avait X Resources . En créant un fichier .Xdefaultsou .Xresourcesdans votre répertoire personnel, vous pouvez modifier toutes sortes de paramètres pour les applications graphiques.

Les défauts par défaut du système sur ma boîte se trouvent dans /etc/X11/Xresourceset /etc/X11/app-defaultsmais je ne sais pas si gnome-terminal s’intéresse à l’une d’elles.

Edit : aussi, cela ressemble à "un département de thème", donc éditer des fichiers de thème ou lancer gnome-terminal avec un .gtkrcfichier personnalisé pourrait faire l'affaire, quelque chose comme

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

dans le terminal, ou éditez le gnome-terminal.destktop ci-dessus pour ressembler à

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

pourrait fonctionner.

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

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

Exec = gnome-terminal peut être modifié pour sélectionner une application de terminal différente. La modification de ce fichier est un peu complexe car leur type mime n'est pas reconnu par naultilus comme modifiable. Vous devez lancer la modification à partir de la ligne de commande comme suit:

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

Une fois cette modification effectuée, l'application de terminal peut être lancée de la même manière qu'avant, mais votre application de terminal alternative sera exécutée.

Sinon, j'ai utilisé la solution de contournement dans laquelle vous modifiez le left_widthparamètre (metacity 2) du thème en 15ou 20pixels.

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 fonctionne bien pour moi car la couleur de la bordure de la fenêtre et la couleur de fond du terminal sont proches.

J'ai fait des recherches approfondies à ce sujet et le seul autre moyen de le faire est de basculer vers le xtermterminal, comme indiqué ci-dessus. Cependant, la configuration de xterm est difficile et doit être effectuée via le .Xresourcesfichier de configuration, il n’existe pas de menu avec xterm.