Wo werden Gnome-Terminal-Profile im Dateisystem gespeichert?

15

Ich habe ein neues Profil erstellt, das mit dem Fortune-Programm geöffnet wurde (atp-get install fortune-mod für den Download-Speicherort) und es als das Profil festgelegt, mit dem alle neuen Terminals geöffnet werden sollen, damit ich beim Öffnen des Terminals ein neues Vermögen erhalte . Leider wusste ich nicht, dass ich "Terminal verlassen, wenn Prozess beendet wird" auf etwas anderes setzen sollte, damit es nicht fast sofort beendet wird. Momentan wird es beendet, sobald Fortune beendet ist, was beinahe sofort geschieht und ich muss das Profil löschen, aber ich kann die Option "Profile verwalten" des Terminals nicht durchlaufen, da es zu schnell beendet wird, um überhaupt zu versuchen, das Bearbeitungsmenü zu öffnen, geschweige denn das Profil zu löschen. Ich muss wissen, in welchem ​​Verzeichnis das Profil gespeichert ist, damit ich es manuell löschen kann. Ich habe versucht, eine systemweite Suche durchzuführen, aber das Ergebnis dieser Suche waren Unmengen von Dateien und Ordnern, und ich habe keine Zeit, sie alle zu öffnen. Ich schätze jede Hilfe, die ich bekommen kann. Danke im Voraus.

gnome-terminal Marcello Nicoletti
quelle
1
So importieren Sie ein Gnome-Terminal-Profil aus der Datenbank dconf: unix.stackexchange.com/a/199864
bartolo-otrit
Als Hinweis bezieht sich der Kommentar / Link von @ bartolo-otrit auf gnome-terminalProfile in dconf(Hinweis D ) - aber in Ubuntu 14 sind gnome-terminalProfile in gconf(Hinweis G ); und für gconf, können Sie ~/.gconf/apps/gnome-terminal/nach den Profilen suchen
sdbbs

Antworten:

14

Profile für GNOME Terminal werden im GConf-Konfigurationssystem gespeichert . Um sie direkt zu ändern, drücken Sie Alt+ F2, um das Feld "Befehl ausführen" anzuzeigen, geben Sie ein gconf-editorund navigieren Sie dann zu /apps/gnome-terminal/profiles.

Das Deaktivieren /apps/gnome-terminal/profiles/Default/use_custom_commandsollte Ihr Problem lösen.

Eine alternative Methode, um aus dieser Situation herauszukommen, besteht darin, den benutzerdefinierten Befehl zu überschreiben, indem Sie einen anderen Befehl als Befehlszeilenargument angeben, z. B. gnome-terminal -x bashnoch einmal im Feld "Befehl ausführen ".

ændrük
quelle
Die alternative Methode war letztendlich die, die funktioniert hat. Vielen Dank. Ich würde abstimmen, aber ich habe nicht 15 Ruf :(
Marcello Nicoletti
Der alternative Befehl ist auch der einzige, der funktioniert hat. Im gconf-Editor gab es kein Kontrollkästchen "use_custom_command".
Balinus
@ændrük sorry, dass es so lange gedauert hat zu akzeptieren. Ich habe gerade eine Benachrichtigung für diese Frage erhalten, die mich all die Jahre später zurückbrachte.
Marcello Nicoletti
2
Unter Ubuntu 17.04 sind diese Einträge im gconf-editor nicht vorhanden
phant0m
Profile für # GNOME Terminal 3.32.1in gespeichert sind , dconfnicht gconfauf diese Frage einen Kommentar abzugeben scheint zu implizieren , dass sie automatisch zu dconf migriert werden sollen, aber ich habe das nicht an die Arbeit bekam askubuntu.com/questions/906137/...
EoghanM
2

Sie können auch einen xtermanderen Terminal-Emulator ausführen , der in Ubuntu verfügbar ist. Von dort aus können Sie alle Befehle ausführen, die Sie benötigen.

Führen Sie Folgendes aus, um es zum Standardterminal zu machen:

sudo update-alternatives --config x-terminal-emulator

Und ändern Sie die Standardeinstellung nach Belieben.

Ein anderer Ansatz, um Gnome Terminal zu reparieren, besteht darin, Nautilus (den Dateimanager) zu verwenden, um alle benutzerdefinierten Einstellungen zu löschen:

  • Navigiere zu ~/.gconf/apps/gnome-terminal(es ist ein versteckter Ordner, drücke, CTRL+Hum ihn anzuzeigen)
  • Bearbeiten Sie die xmlDateien dort oder löschen Sie einfach den gesamten gnome-terminalOrdner
  • Öffnen Sie Ihr Gnome-Terminal erneut, es wird mit den Werkseinstellungen wiederhergestellt
MestreLion
quelle