Di Alat Gnome Tweak, saya tidak dapat mengubah tema Shell:
Melayang di atas tanda seru menunjukkan berikut alat-tip: Shell user-theme extension not enabled
. Saya menggunakan Ubuntu 14.10, dan telah menginstal gnome-shell-extensions.
themes
gnome-shell
gnome-shell-extension
miceagol
sumber
sumber
Jawaban:
Saya memecahkan masalah ini sendiri, dan itu adalah solusi yang sangat sepele:
Gnome Tweak Tool
.Extensions
item menu, dan pindahkanUser themes
slider keOn
.Gnome Tweak Tool
dan buka lagi.Shell theme
diAppearance
menu.sumber
Selain
@miceagol's
menjawab: Jika Anda tidak melihatUser Themes
diExtensions
panel Alat Tweak GNOME, Anda mungkin perlu menginstalnya dari extensions.gnome.org . Mulai ulang alat tweak setelah menginstal.sumber
Anda dapat mengatur tema menggunakan Terminal:
gunakan tema default yang dikenal berfungsi seperti di atas dan itu akan membuat Anda kembali tetapi ini di bawah ini mungkin mimpi buruk Anda yang sebenarnya adalah tema yang tidak akan berfungsi. Menginstal tema yang tidak berfungsi TINGGALKAN di belakang entri dan jika Anda mengklik entri yang gagal, Anda akan hancurkan alat tweak.
Mencopot tema tidak semudah itu..Tidak tahu cara menghapus tema yang buruk dari daftar di alat tweak.
sumber