Ich möchte die Polsterung im Gnome-Terminal erhöhen, da die Standardeinstellung keine Polsterung hat und meine Augen verletzt.

(Auffüllen wie in: Ich möchte einen Abstand zwischen dem Fensterrand und der Stelle, an der die Texteingabe / -ausgabe angezeigt wird.)

Zum Beispiel:

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

Bearbeitet am 02. Juni 2018: Ab Ubuntu 18.04 müssen Sie einen weiteren Element-Selektor hinzufügen, damit dies funktioniert.

Paul hatte größtenteils recht. Diese erweiterte Lösung funktioniert ab Ubuntu 14.04.1 mit GNOME Terminal 3.6.2 .

Für alle Versionen:

1. Fügen Sie den folgenden Code hinzu ~/.config/gtk-3.0/gtk.css:
   

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

   Bearbeiten: Sie müssen die Datei erstellen, falls sie noch nicht vorhanden ist (danke jonS90).

2. Töte alle Instanzen von gnome-terminal:

   $ killall gnome-terminal
   

3. Starten Sie das Gnome-Terminal neu.

Ich habe alle Antworten hier auf Ubuntu 16.10 mit Gnome-Terminal 3.20.2 ausprobiert und sie haben nicht funktioniert. In diesem Launchpad-Thread habe ich die aktuelle Lösung gefunden . Fügen ~/.config/gtk-3.0/gtk.cssSie in der Datei (die Sie möglicherweise erstellen müssen) Folgendes hinzu:

vte-terminal {
    padding: 10px;
}

Um die Terminalausgabe von den Fensterrändern weg zu verschieben, erstellen Sie das Stylesheet ~ / .config / gtk-3.0 / gtk.css mit der folgenden Einstellung:

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

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

Bitte gehen Sie diese Ausgabe durch - Unity Terminal 16.04

Der Kommentar auf der Wunschliste beschreibt sehr gute Lösungen für Ubuntu 16.04 Terminals, bei denen wir die Datei ändern müssen ~/.config/gtk-3.0/gtk.css:

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

ZU

VteTerminal {
    padding: 10px;
}

paddingfunktioniert genauso wie normales CSS padding.

Früher gab es X Resources . Wenn Sie eine .Xdefaultsoder .Xresources-Datei in Ihrem Ausgangsverzeichnis erstellen, können Sie alle möglichen Einstellungen für grafische Anwendungen ändern.

Systemweite Standardeinstellungen für meine Box befinden sich in /etc/X11/Xresourcesund /etc/X11/app-defaultsich weiß nicht, ob das Gnome-Terminal für diese zuständig ist.

Bearbeiten : Auch dies scheint eine "Themenabteilung" zu sein, so dass das Bearbeiten von Themendateien oder das Starten von gnome-terminal mit einer benutzerdefinierten .gtkrcDatei den Trick machen könnte

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

im Terminal, oder bearbeiten Sie die Gnome-Terminal.destktop oben, um wie folgt auszusehen

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

könnte klappen.

Sie können dies mit einigen Terminals tun, zum Beispiel mit altem xterm

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

Im Handbuch man xtermerfahren Sie, wie Sie Schriftarten, Vordergrund- und Hintergrundfarben einstellen. Vielleicht etwas schwierig zu konfigurieren, aber sehr flexibel.

Ich konnte im gconf- oder dconf-Editor keinen Auffüllparameter finden. Ich habe im Software Center nach "Terminal" gesucht und eine Reihe von Terminal-Anwendungen gefunden. Gnome hat es früher einfach gemacht, verschiedene Terminal-Anwendungen zu spezifizieren, aber die Dinge haben sich ein wenig geändert. In /usr/share/applications/gnome-terminal.desktop wird die auszuführende Terminalanwendung angegeben. Öffnen Sie diese Datei und finden Sie:

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

Das Exec = gnome-Terminal kann geändert werden, um eine andere Terminal-Anwendung auszuwählen. Das Bearbeiten dieser Datei ist etwas aufwendig, da der MIME-Typ von Naultilus nicht als bearbeitbar erkannt wird. Sie müssen die Bearbeitung wie folgt über die Befehlszeile starten:

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

Nachdem Sie diese Änderung vorgenommen haben, kann die Terminalanwendung wie zuvor gestartet werden, Ihre alternative Terminalanwendung wird jedoch ausgeführt.

Alternativ habe ich die Problemumgehung verwendet, bei der Sie den left_widthParameter (Metacity 2) des Themas in 15oder in 20Pixel ändern .

Dadurch wird der Fensterrand auf der linken Seite dick und der effektive linke Rand innerhalb des Fensters verschoben. Dies funktioniert für mich in Ordnung, da die Fensterrahmenfarbe und die Hintergrundfarbe für das Terminal nahe beieinander liegen.

Ich habe dies gründlich recherchiert, und der einzige andere Weg, dies zu tun, besteht darin, xtermwie oben erwähnt zum Terminal zu wechseln . Die Konfiguration von xterm ist jedoch mühsam und muss über die .XresourcesKonfigurationsdatei erfolgen. Es gibt kein Menü mit xterm.