augmenter le rembourrage dans le terminal gnome


41

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"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================

Réponses:


34

É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.


2
Le fichier gtk.css spécifié n'existait pas sur mon système. Je devais le créer (et ensuite la solution fonctionnait).
jonS90

Cela fonctionne également parfaitement dans le panthéon terminal (OS Loki élémentaire).
Vishnu M.

2
Si TRouBLe se souvient de la façon dont ces nombres se rapportent aux arêtes, c'est en haut à droite en bas à gauche.
Terry Brown

1
@TerryBrown TRouBLe est un bon moyen. Pensez également aux aiguilles progressant sur une horloge analogique: 12-3-6-9 (Haut, Droite, Bas, Gauche).
WinEunuuchs2Unix

9

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;
}

Je peux confirmer que cela fonctionne également pour Ubuntu 17.04.
Alp Dener

Fonctionne en 17.10.
blockloop

Alors, est-ce que je crée gtk.css pour n'avoir que vos 3 lignes? Ou, comment puis-je en créer un par défaut?
Robin Hsu le

@RobinHsu si le fichier existe, ajoutez ceci à la fin. Si ce n'est pas le cas, créez-le et ajoutez seulement ceci.
phrz

Cela ne fonctionne pas sur Ubuntu 18.04.
Alexandre Verri


3

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.


3

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.


Cela ne fonctionne pas sur Ubuntu 18.04.
Alexandre Verri

2

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.


1

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.


1

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.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.