augmenter le remplissage dans le terminal gnome

36

Je voudrais augmenter le rembourrage dans le terminal gnome, car le paramètre par défaut utilise 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"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================
    
posée Aaron Yodaiken 25.03.2012 - 01:35
la source

8 réponses

26

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

Paul avait principalement raison. Cette solution étendue fonctionne à partir de 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;
    }
    

    Modifier: 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.

réponse donnée Makaze 19.12.2014 - 07:42
la source
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 du 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;
}
    
réponse donnée phrz 26.02.2017 - 21:40
la source
4

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

lien

    
réponse donnée paulusm 30.03.2014 - 10:17
la source
3

Consultez ce numéro - Unity Terminal 16.04 .

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

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

TO

VteTerminal {
    padding: 10px;
}

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

    
réponse donnée Subroto 06.11.2016 - 18:27
la source
2

À l'époque, il y avait ressources X . 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 valeurs par défaut de l'ensemble 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'en soucie.

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

    
réponse donnée agnul 28.03.2012 - 10:46
la source
2

Vous pouvez le faire avec certains terminaux, par exemple l'ancien xterm

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

Dans le manuel man xterm vous trouvez comment 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.

    
réponse donnée sudodus 18.04.2012 - 19:20
la source
1

J'ai également utilisé la solution de contournement dans laquelle vous modifiez le paramètre left_width du thème (métacité 2) en 15 ou 20 pixels.

La bordure de la fenêtre est épaisse du côté gauche et la marge gauche effective est déplacée à l'intérieur de la fenêtre. Cela fonctionne bien pour moi car la couleur de la bordure de la fenêtre et celle du fond du terminal sont proches.

J’ai fait des recherches approfondies à ce sujet et la seule autre façon de le faire est de basculer sur le terminal xterm comme mentionné ci-dessus. Cependant, la configuration de xterm est difficile et doit être effectuée via le fichier .Xresources config, il n’existe pas de menu avec xterm.

    
réponse donnée Christian 29.10.2012 - 03:11
la source
0

Je n'ai pas trouvé 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 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

Il est possible de modifier Exec = gnome-terminal 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 comme avant, mais votre application de terminal alternative sera exécutée.

    
réponse donnée fragos 26.03.2012 - 05:44
la source

Lire d'autres questions sur les étiquettes