Di Ubuntu 14.04, saya bisa mengatur tampilan terminal gnome dan tab-nya dengan membuat file
/home/$user/.config/gtk-3.0/gtk.css
dan memasukkan kode CSS ke dalamnya misalnya
TerminalWindow .notebook tab.top:active{
padding: 0;
border-image: none;
background-color: #555;
}
[...]
Sekarang di Ubuntu 16.04 ini tidak mempengaruhi penampilan terminal gnome.
Bagaimana saya bisa memodifikasi tampilan terminal gnome di Ubuntu 16.04?
adwaita
. Itu datang pra-dikemas dengan distro GNOME. Secara default, saya menebak Suasana. Suasana di 16.04 masih kuno dan karenanya Anda harus dapat mengedit hal-hal yang tidak seperti masalah Numix yang saya jelaskan. Jika Anda tidak bisa, itu berarti bahwa para GNOME devs memiliki sesuatu yang dikodekan keras :(Jawaban:
Ini bekerja untuk saya:
Kode yang saya tambahkan ada di bagian bawah. File yang saya edit adalah
~/.themes/ORIG-Ambiance/gtk-3.0/apps/gnome-terminal.css
.Catatan:
Saya baru saja menyalin dari folder Ambiance dari
/usr/share/themes
dan menamainya jadi saya tidak perlu menggunakan hak tinggi saat mengedit file.Saya menemukan bahwa menggunakan
#555
membuatnya sulit untuk melihat teks di tab.Saya juga mengubah
selected_fg_color
untuk memastikan tema mana yang mana dan itu sebabnya bilah gulir tidak oranye;)sumber
Numix
dengan menggunakan alat tweak dan dan pilih tema baruORIG-Ambiance
dari menu drop down dan restart aplikasi, gnome, atau sesi pengguna?/usr/share/themes/Ambiance/gtk-3.0/apps/gnome-terminal.css
. Dengan begitu, Anda tidak perlu repot untuk berganti tema. Tentu saja, Anda harus menggunakansudo nano
atau apa pun yang Anda gunakan untuk mengedit file sistem. Dan cadangan akan menjadi ide yang bagus. Saya menggunakan sesi Openbox dari Lubuntu dan itu tidak mengharuskan saya untuk menginstal alat khusus untuk mengubah tema. Saya hanya punya daftar tema~/.config/gtk-3.0/settings.ini
dengan semua kecuali satu berkomentar. Mengubah tema tingkat pengguna kemudian hanya masalah mengedit file itu./etc/gtk-3.0/
.Logout / penutupan semua program saya dan masuk kembali menerapkan tema setelah semua.
Referensi GTK API untuk GtkCssProvider (versi dev yang tidak stabil - Saya tidak dapat menemukan bagian yang setara untuk stabil) menjelaskan / mengkonfirmasi bagaimana GTK akan membaca kode CSS untuk sebuah tema saat startup:
Pengalaman sebelumnya menyarankan gnome-terminal semua yang perlu Anda lakukan adalah menutup semua tab dan jendela gnome-terminal untuk membuat tema baru berlaku. Sesuai dengan dokumen, mungkin GTK harus melalui inisialisasi, atau mungkin ada
gnome-terminal
proses yang masih berjalan, mengharuskan saya untuk logout dan kembali.sumber