Saya mencoba mencari file konfigurasi terminal gnome di Ubuntu 16.04, tetapi tidak berhasil sama sekali. Saya ingin kursor tidak berhenti berkedip, dan mungkin ada parameter batas waktu yang dapat saya ubah, tetapi saya tidak dapat menemukan file untuk melakukannya. Saya tahu ini bisa dilakukan melalui dconf-editor, tetapi untuk beberapa alasan itu tidak berfungsi (saya rasa saya menghapus beberapa ketergantungan atau lainnya).
gnome
gnome-terminal
Alcuin Arundel
sumber
sumber
cat dump.txt | dconf load /org/gnome/terminal/legacy/profiles:/
dconf dump /org/gnome/terminal/
. Lihat juga askubuntu.com/questions/967517/backup-gnome-terminal/967535 .Jawaban:
Tidak ada file konfigurasi.
The
gnome-terminal
mengelola semua pengaturan melaluidconf
(ataugconf
dalam rilis Ubuntu tua) yang sebanding dengan registri Windows. Ini adalah file biner yang dioptimalkan untuk membaca nilainya dengan cepat, Anda tidak dapat mengedit atau melihatnya secara manual seperti dokumen teks.Jika Anda
dconf-editor
atau alat apa pun Anda mencoba untuk menggunakan tidak bekerja, Anda harus memperbaiki yang kesalahan pertama.Hanya untuk kelengkapan, tetapi mungkin Anda sudah melihat tautan tersebut (yang hanya menyebutkan
dconf
/gconf
, tentu saja):Bagaimana cara menonaktifkan kursor yang berkedip di terminal gnome?
Bagaimana cara menonaktifkan kursor berkedip di Gnome 3.8?
sumber
GNOME Terminal
tidak menawarkan opsi terpisah untuk ini, tetapi itu menghormatiGNOME
standar yang terletak didconf
tombol/org/gnome/desktop/interface/cursor-blink-timeout
(dalam detik).Daging sapi ini menjadi nilai raksasa jika Anda lebih suka kursor tetap berkedip, misalnya
sumber
NB: Anda tidak perlu menginstal program apa pun atau menghapus file apa pun.
Untuk mengedit
gnome-terminal
preferensi Anda tanpa benar-benar membuka atau menggunakangnome-terminal
bukaKemudian cari Terminal di folder.
Kemudian buka propertinya dengan mengklik kanan Terminal .
Di sana Anda akan melihat perintah .
Inilah yang sebenarnya terjadi ketika Anda membuka terminal. Jadi untuk mengedit preferensi, ubah perintah menjadi
gnome-terminal --preferences
.Voila
Setelah "memperbaiki" pengaturan. Cukup tutup preferensi dan kemudian hapus
--preferences
dari perintah di jendela properti. Sekarang buka terminal seperti biasa.EDIT : Jika Anda berada di antarmuka baris perintah, maka cukup gunakan perintah
gnome-terminal --profile=default
sumber