Dove sono memorizzati i profili Gnome-Terminal nel filesystem?


15

Ho creato un nuovo profilo che si è aperto con il programma di fortuna (atp-get install fortune-mod per il percorso di download) e l'ho impostato come profilo con cui aprire tutti i nuovi terminali in modo da ottenere una nuova fortuna quando ho aperto il terminale . Sfortunatamente non sapevo di impostare "exit terminal quando il processo termina" su qualcos'altro in modo che non uscisse quasi immediatamente. Attualmente esce non appena esce la fortuna che è quasi immediatamente e ho bisogno di eliminare il profilo ma non riesco a passare attraverso l'opzione "gestisci profili" del terminale perché esce troppo velocemente anche solo per provare ad aprire il menu di modifica e tanto meno eliminare il profilo. Devo sapere in quale directory viene salvato il profilo in modo da poterlo eliminare manualmente. Ho provato a fare una ricerca a livello di sistema ma i risultati di quella ricerca sono stati tonnellate di file e cartelle e non ho tempo di aprirli tutti. Apprezzo tutto l'aiuto che posso ottenere. Grazie in anticipo.


1
Come importare il profilo gnome-terminal dal database dconf
bartolo-otrit

Come nota, il commento / collegamento da @ bartolo-otrit si riferisce ai gnome-terminalprofili in dconf(nota D ) - ma in Ubuntu 14, i gnome-terminalprofili sono in gconf(nota G ); e per gconf, puoi cercare ~/.gconf/apps/gnome-terminal/i profili
sdbbs,

Risposte:


14

I profili per GNOME Terminal sono memorizzati nel sistema di configurazione GConf . Per modificarli direttamente, premere Alt+ F2per visualizzare la casella "Esegui un comando", immettere gconf-editor, quindi selezionare /apps/gnome-terminal/profiles.

La deselezione /apps/gnome-terminal/profiles/Default/use_custom_commanddovrebbe risolvere il tuo problema.

Un metodo alternativo per uscire da questa situazione è quello di sovrascrivere il comando personalizzato specificandone un altro come argomento della riga di comando, ad esempio gnome-terminal -x bash, ancora una volta nella casella "Esegui un comando".


Il metodo alternativo ha finito per essere quello che ha funzionato. Grazie mille. Vorrei votare ma non ho 15 reputazione :(
Marcello Nicoletti

Il comando alternativo è anche l'unico che ha funzionato. Nell'editor gconf, non c'era alcuna casella di controllo "use_custom_command.
Balinus

@ ændrük scusa per aver impiegato così tanto tempo ad accettare. Ho appena ricevuto una notifica per questa domanda che mi ha riportato indietro tutti questi anni dopo.
Marcello Nicoletti,

3
Su Ubuntu 17.04, queste voci non sono presenti in gconf-editor
phant0m

1
Profili per # GNOME Terminal 3.32.1sono memorizzati in dconfnon gconfun commento su questa questione sembra implicare che essi devono essere migrati automaticamente al dconf, ma non ho ottenuto che al lavoro askubuntu.com/questions/906137/...
EoghanM

2

Puoi anche eseguire xtermun altro emulatore di terminale disponibile in Ubuntu. Da lì puoi eseguire tutti i comandi di cui hai bisogno.

Per renderlo il terminale predefinito, eseguire:

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

E modifica l'impostazione predefinita come preferisci.

Un altro approccio per risolvere Gnome Terminal è utilizzare Nautilus (il file manager) per eliminare tutte le preferenze personalizzate:

  • Vai a ~/.gconf/apps/gnome-terminal(è una cartella nascosta, premi CTRL+Hper visualizzare)
  • Modifica xmllì i file o semplicemente elimina l'intera gnome-terminalcartella
  • Apri di nuovo il tuo Terminale Gnome, verrà ripristinato con le impostazioni di fabbrica
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.