Ich versuche, die Gnome-Terminal-Konfigurationsdatei in Ubuntu 16.04 zu finden, habe aber überhaupt kein Glück. Ich möchte, dass der Cursor nicht aufhört zu blinken, und es gibt wahrscheinlich einen Timeout-Parameter, den ich ändern kann, aber ich kann die Datei dafür nicht finden. Ich weiß, dass es über den dconf-Editor möglich ist, aber aus irgendeinem Grund funktioniert das nicht (ich glaube, ich habe die eine oder andere Abhängigkeit entfernt).
Antwort1
Es gibt keine Konfigurationsdatei.
gnome-terminal
Alle Einstellungen werden über dconf
(oder in alten Ubuntu-Versionen) verwaltet gconf
, was mit der Windows-Registrierung vergleichbar ist. Es handelt sich um eine Binärdatei, die für das schnelle Lesen der Werte optimiert ist. Sie können sie nicht wie ein Textdokument manuell bearbeiten oder anzeigen.
Wenn Ihr dconf-editor
oder ein anderes Werkzeug, das Sie verwenden möchten, nicht funktioniert, müssen Sie es korrigierenDasFehler zuerst.
Nur der Vollständigkeit halber, aber wahrscheinlich haben Sie diese Links bereits gesehen (die natürlich nur dconf
/ erwähnen):gconf
Wie deaktiviere ich den blinkenden Cursor im Gnome-Terminal?
Wie deaktiviere ich den blinkenden Cursor in Gnome 3.8?
Antwort2
Die Kommentare zum Originalbeitrag voneexpressUndFabian Strietelverdienen besondere Anerkennung. Dank dieser beiden konnte ich meine Einstellungen (mehrere Profile und andere Kleinigkeiten) problemlos von VM zu VM kopieren. Vielen Dank!
Speichern:
dconf dump /org/gnome/terminal/ > ~/gterminal.preferences
Installieren:
cat ~/gterminal.preferences | dconf load /org/gnome/terminal/legacy/profiles:/
Antwort3
Gemäß der Antwort von ajaym62 konnte ich mit den folgenden Befehlen eine Sicherung und Wiederherstellung der Eigenschaften erreichen:
dconf dump /org/gnome/terminal/ > ~/dev/help/gnome-terminal.properties
cat ~/dev/help/gnome-terminal.properties | dconf load /org/gnome/terminal/
Zuerst musste ich das Tool installieren dconf
:
sudo apt install dconf-cli
Antwort4
NB: Sie müssen kein Programm installieren oder Dateien entfernen.
So bearbeiten Sie Ihre gnome-terminal
Einstellungenohne es tatsächlich zu öffnen oder zu benutzen gnome-terminal
gehe zu
/root/usr/share/applications
Suchen Sie dannTerminalim Ordner.
Öffnen Sie dann dessen Eigenschaften mit einem Rechtsklick aufTerminal.
Dort sehen SieBefehl.
Das ist tatsächlich das, was passiert, wenn Sie das Terminal öffnen. Um die Einstellungen zu bearbeiten, ändern Sie den Befehl in gnome-terminal --preferences
.
Voila
Nach dem „Reparieren“ der Einstellungen. Schließen Sie einfach die Einstellungen und entfernen Sie dann --preferences
den Befehl im Eigenschaftenfenster. Öffnen Sie nun einfach das Terminal wie gewohnt.
BEARBEITEN: Wenn Sie sich in einer Kommandozeilenschnittstelle befinden, dann verwenden Sie einfach den Befehlgnome-terminal --profile=default