Bagaimana cara menambahkan tema warna ke preferensi GUI Terminal Gnome?


9

Saya menggunakan Gnome-Terminal untuk banyak pekerjaan saya, dan suka memisahkan windows berdasarkan warna berdasarkan tugas yang saya lakukan, jadi saya telah menyiapkan beberapa profil menggunakan GUI Preferensi.

Saya menemukan beberapa tema warna daring yang saya sukai dan ingin digunakan sebagai basis untuk beberapa profil saya, termasuk yang saya buat di masa depan. Namun, Preferensi GUI hanya memiliki beberapa opsi tema warna, dan saya perlu mengubah semua warna secara manual setiap kali saya ingin menggunakan salah satu tema khusus ini.

Apakah ada cara saya dapat menambahkan tema khusus ke GUI Preferensi saya? Jika itu tidak memungkinkan, apakah ada cara lain saya dapat dengan mudah mengatur tema warna khusus untuk profil? Saya tahu saya bisa mengubah warna secara manual di tempat lain, seperti gconf-editor, tapi saya lebih suka cara mudah untuk hanya mengatakannya tema warna berdasarkan namanya dan mengatur sisanya (seperti apa yang dapat Anda lakukan dengan GUI) .

Jawaban:


5

Palet warna semuanya hard-coded sehingga menambahkan tema khusus ke Menu Prefs bawaan gnome terminal tidak mungkin kecuali Anda bersedia menambal kode sumber dan mengkompilasi ulang aplikasi.

Salah satu cara menetapkan tema warna khusus untuk profil Anda adalah melalui skrip. Lihat bagaimana solarisasi melakukannya:

gnome-terminal-colors-solarized

Catat, bahwa gconf adalah EOL dan rilis gnome-terminal di masa depan akan menggunakan backend gsettings .


Perhatikan bahwa Solarized sekarang merekomendasikan Anda membuat profil baru dan mengatur tema sebagai tema "kustom" di sana.
wjandrea
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.