Baru saja menginstal 11.10 dan Alat Tweak GNOME tetapi tidak dapat menginstal gnome-shell-extensions-user-theme karena itu tidak ada (atau begitulah apt-get install Beritahu aku). Karena itu, tidak ada user-theme-extensions yang diaktifkan dalam pengaturan lanjutan untuk Alat Tweak GNOME. Saya tidak dapat menemukan repositori untuk itu di mana pun. Apa yang saya lakukan salah?
Jawaban yang Diterima:
Cara Geek
Anda dapat menginstal tema pengguna dan ekstensi lainnya dari PPA, karena ekstensi tidak tersedia di repositori resmi. Masukkan perintah berikut agar tema berfungsi.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme
Sekarang restart gnome-shell menggunakan Alt+F2 run dialog dan masukkan r .
Aktifkan formulir ekstensi gnome-Tweak-tool dan selesai.
Cara Alternatif Pilihan
Sejauh ini, ini adalah cara termudah untuk memasang ekstensi “tema pengguna”, serta banyak ekstensi shell GNOME lainnya.
- Cukup buka Firefox (Anda TIDAK BISA gunakan browser lain, mulai sekarang).
- Dan kunjungi extensions.gnome.org
- Anda dapat menelusuri ekstensi yang Anda cari, serta menjelajahi ekstensi hebat lainnya.
-
Menemukan ekstensi? Cukup klik sakelar untuk menginstalnya.
-
Aah….. ngomong-ngomong untuk user-theme, kamu bisa mendapatkannya di sini.
Catatan: GNOME Shell tidak mengaktifkan dialog Alt+F2 Run secara default, jadi jika demikian, Anda dapat mengaktifkannya melalui Pengaturan Keyboard>Pintasan>Sistem.