web-dev-qa-db-fra.com

augmenter le rembourrage dans le terminal gnome

Je voudrais augmenter le rembourrage dans le terminal gnome, parce que la valeur par défaut est non 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"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================
command-lineguignome-terminal
41
Aaron Yodaiken

Édité le 02 juin 2018: À partir 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 de buntu 14.04.1 avec 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.

34
Makaze

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 tableau de bord . Dans le fichier ~/.config/gtk-3.0/gtk.css (que vous devrez peut-être créer), ajoutez ceci:

vte-terminal {
    padding: 10px;
}
9
phrz

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

4
paulusm

Veuillez parcourir ce numéro - nity Terminal 16.04

Le commentaire sur la liste de sélection décrit des solutions très appropriées pour les terminaux Ubuntu 16.04, dans lesquels nous devons modifier le fichier ~/.config/gtk-3.0/gtk.css:

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

À

VteTerminal {
    padding: 10px;
}

padding fonctionne de la même manière que la normale CSS padding.

3
Subroto

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 xterm, vous apprendrez à définir les couleurs des polices, de l'avant-plan et de l'arrière-plan. Peut-être un peu difficile à configurer, mais très flexible.

2
sudodus

À l'époque, jadis, il y avait X Resources . En créant un fichier .Xdefaults ou .Xresources dans votre répertoire de base, 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/Xresources et /etc/X11/app-defaults, mais je ne sais pas si gnome-terminal s’intéresse à l’un de ceux-ci.

Edit : cela semble aussi un "département thématique", donc éditer des fichiers de thème ou lancer gnome-terminal avec un fichier personnalisé .gtkrc 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.

2
agnul

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
fragos

Sinon, j'ai utilisé la solution de contournement dans laquelle vous modifiez le paramètre left_width du thème (metacity 2) en 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 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 terminal xterm, comme mentionné ci-dessus. Cependant, la configuration de xterm est pénible et doit être effectuée via le fichier de configuration .Xresources; il n’existe pas de menu avec xterm.

1
Christian