Di mana profil Gnome-Terminal disimpan dalam sistem file?

15

Saya membuat profil baru yang dibuka dengan program fortune (atp-get install fortune-mod untuk lokasi unduhan) dan atur sebagai profil untuk membuka semua terminal baru sehingga saya akan mendapatkan kekayaan baru ketika saya membuka terminal . Sayangnya saya tidak tahu untuk mengatur "terminal keluar saat proses keluar" ke sesuatu yang lain sehingga tidak keluar segera. Saat ini ia keluar segera setelah keberuntungan keluar yang hampir segera dan saya perlu menghapus profil tetapi saya tidak dapat melalui terminal "kelola profil" pilihan karena keluar terlalu cepat bahkan untuk mencoba dan membuka menu edit apalagi menghapus profil. Saya perlu tahu ke direktori mana profil disimpan sehingga saya dapat menghapus secara manual. Saya mencoba melakukan pencarian di seluruh sistem tetapi hasil pencarian itu adalah banyak file dan folder dan saya tidak punya waktu untuk membuka semuanya. Saya menghargai semua bantuan yang bisa saya dapatkan. Terima kasih sebelumnya.

gnome-terminal Marcello Nicoletti
sumber
1
Cara mengimpor profil terminal gnome dari basis data dconf: unix.stackexchange.com/a/199864
bartolo-otrit
Sebagai catatan, komentar / tautan dari @ bartolo-otrit merujuk ke gnome-terminalprofil di dconf(note D ) - tetapi di ubuntu 14, gnome-terminalprofil berada di gconf(note G ); dan untuk gconf, Anda dapat melihat ~/.gconf/apps/gnome-terminal/profil
sdbbs

Jawaban:

14

Profil untuk Terminal GNOME disimpan dalam sistem konfigurasi GConf . Untuk memodifikasinya secara langsung, tekan Alt+ F2untuk menampilkan kotak "Jalankan perintah", masukkan gconf-editor, lalu telusuri /apps/gnome-terminal/profiles.

Hapus centang /apps/gnome-terminal/profiles/Default/use_custom_commandharus menyelesaikan masalah Anda.

Metode alternatif untuk keluar dari situasi ini adalah mengganti perintah khusus dengan menetapkan argumen lain sebagai argumen baris perintah, misalnya gnome-terminal -x bash, sekali lagi di kotak "Jalankan perintah".

ændrük
sumber
Metode alternatif yang akhirnya berhasil. Terima kasih banyak. Saya akan memilih tetapi saya tidak memiliki 15 reputasi :(
Marcello Nicoletti
Perintah alternatif juga satu-satunya yang berfungsi. Di gconf-editor, tidak ada kotak centang "use_custom_command.
Balinus
@ ændrük maaf karena sudah lama menerima. Saya baru saja mendapat pemberitahuan untuk pertanyaan ini yang membawa saya kembali bertahun-tahun kemudian.
Marcello Nicoletti
3
Pada Ubuntu 17.04, entri-entri ini tidak ada di gconf-editor
phant0m
1
Profil untuk # GNOME Terminal 3.32.1disimpan dalam dconfbukan. gconfSebuah komentar pada pertanyaan ini tampaknya menyiratkan bahwa mereka harus dimigrasi secara otomatis ke dconf, tetapi saya belum dapat menggunakannya. Askubuntu.com/questions/906137/…
EoghanM
2

Anda juga dapat menjalankan xterm, emulator terminal lain yang tersedia di Ubuntu. Dari sana Anda dapat menjalankan perintah apa pun yang Anda butuhkan.

Untuk menjadikannya terminal default, jalankan:

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

Dan ubah default menjadi apa pun yang Anda inginkan.

Pendekatan lain untuk memperbaiki Terminal Gnome adalah dengan menggunakan Nautilus (manajer file) untuk menghapus semua preferensi khusus:

  • Arahkan ke ~/.gconf/apps/gnome-terminal(itu adalah folder tersembunyi, tekan CTRL+Huntuk melihat)
  • Edit xmlfile di sana, atau cukup hapus seluruh gnome-terminalfolder
  • Buka Terminal Gnome Anda lagi, itu akan dikembalikan dengan pengaturan pabrik
MestreLion
sumber