Ändern der Einstellungen des Gnome-Terminals innerhalb des Terminals

9

Gibt es eine Möglichkeit, die Terminaleinstellungen wie Hintergrund, Farben usw. über die Befehlszeile selbst zu bearbeiten? Das Terminal ist Gnome-Terminal.

Ich benutze Ubuntu 14.04 Trusty Tahr.

Ein Mann
quelle
gnome-terminal wird normalerweise mit konfiguriert gconf-editor. Einstellungen werden unter gespeichert ~/.gconf/apps/gnome-terminal. Die meisten anderen Terminals können einfach durch einfaches Bearbeiten einer Textdatei konfiguriert werden ...
Jasonwryan
Ich habe versehentlich die Datei gconf.xml im Ordner gnome-terminal von "vim gconf.xml" überschrieben (ich bin neu in vim .. habe versucht, die Struktur der Schlüsselwertpaare zu untersuchen). Wie bekomme ich es zurück? Allerdings scheine ich in meinen neuen Terminalfenstern, die ich öffne, nichts Seltsames zu bekommen. Sie scheinen in Ordnung zu sein.
Aman

Antworten:

6

Folgendes habe ich getan:

  1. Installieren Sie den gconf-Editor sudo apt-get install gconf-editor

  2. Hat es vom Terminal abgefeuert gconf-editor

  3. Ging zu Apps> Gnome-Terminal> Profile> Standard im Gnome-Editor

Dadurch werden die Schlüssel-Wert-Paare für Einstellungen geöffnet. Bearbeiten Sie den Wert, der dem gewünschten Schlüssel entspricht.

Vielen Dank, dass Sie mich in die Richtung gelenkt haben, anstatt die genaue Antwort @jasonwryan zu geben. Ich habe unterwegs einige andere Dinge gelernt.

Jetzt werde ich versuchen, mit gconftool-2 genau das Gleiche zu tun. Ich versuche, die Notwendigkeit einer GUI zu beseitigen :)

Nützliche Links: Was ist Gconf?

Ergänzung: Mit gconftool-2

Mit dem Programm gconftool-2 kann der Benutzer über die Befehlszeile mit Gconf interagieren.

Sie möchten beispielsweise die Hintergrunddunkelheit des Terminals einstellen

Also müssen wir den Schlüssel / apps / gnome-terminal / profile / Default / background_darkness mit einem Wert setzen (sagen wir 0,50).

gconftool-2 --set /apps/gnome-terminal/profiles/Default/background_darkness --type=float 0.50

Ähnlich können wir andere Werte ändern, die verschiedenen Schlüsseln entsprechen.

Ein Mann
quelle
1
Ich habe den Pfad apps> gnome-terminal nicht mit gconf gefunden
JPCF
Ich weiß, dass dies alt ist, aber der Pfad von Ihrem Home-Verzeichnis ist ~/.gconf/apps/gnome-terminal/profiles/Default/... Leider können Sie ihn nicht bearbeiten, wenn der gconfd2-Server ausgeführt wird. Ich versuche immer noch herauszufinden, wo ich es stoppen soll, da es nicht in den Diensten aufgeführt ist ... Wo ist die Konfiguration der Textdatei? Sehr geehrte Damen und Herren, bringen Sie die Textdatei-Konfiguration zurück.
blanket_cat
0

Wie durch wies diese Frage , da Ubuntu 15.10 Wily Werwolf gconf wurde für substituierte dconfKonfigurationssystem .

Ähnlich wie sein Vorläufer bietet es ein GUI-Tool mit dem Namen dconf-editor, mit dem wir sein Schema anzeigen und konfigurieren können. Um es zu installieren, laufen Sie

sudo apt install dconf-editor

Ebenso können wir die Konfiguration jetzt über die Befehlszeile verwalten gsetting. Zum Beispiel, wenn Sie den Hintergrund einstellen möchten Transparenz Pegel des Anschlusses (sagen wir mal zu 50%) Sie müssen es für den gewünschten Terminalprofil ändern.

In dconf, org.gnome.Terminal.Legacy.Profile:ist der Ort , an dem Terminal Profile gespeichert werden, so dass Sie die Existenzen Profile UUIDs Liste kann laufen gsettings get org.gnome.Terminal.ProfilesList listund dann können Sie die gewünschte Taste durch ändern

gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:[target-profile-UUID]/ background-transparency-percent 50

Beachten Sie, dass die Änderung erreichen Sie auch festlegen müssen , use-transparent-backgroundumtrue

Verwandte Messwerte

artu-hnrq
quelle