Saya menjalankan gnome-shell 3.4.1 di bawah Ubuntu 12.04. Saya telah mencoba berbagai ekstensi dari http://extensions.gnome.org dan sekarang saya ingin menghapus seluruhnya, terutama agar tidak mengambil ruang di Alat Gnome Tweak.
Apakah aman untuk hanya menghapus folder ekstensi di bawah ~/.local/share/gnome-shell/extensions/?
Bagaimana cara menghapus ekstensi shell gnome?
Jawaban:
Dari halaman shell Gnome Dikatakan:
Ada beberapa bug
GNOME 3.2yang mencegah penghapusan instalasi agar tidak berfungsi dengan benar untuk beberapa ekstensi. GNOME Shell 3.2.2.1 telah memperbaiki masalah ini. Pastikan sistem Anda diperbarui sepenuhnya jika Anda memiliki masalah dengan menghapus instalasi ekstensi.Jika Anda tidak memiliki GNOME Shell 3.2.2.1 dan mungkin tidak bisa mendapatkannya, atau tidak yakin, Anda dapat menghapus instalan ekstensi secara manual. Hapus direktori ekstensi, dan kemudian restart Shell. Ekstensi harus disimpan di bawah
~/.local/share/gnome-shell/extensions. Menghapus direktori tidak akan cukup: Anda harus me-restart Shell untuk memastikan ekstensi sepenuhnya dihapus: buka dialog run dengan Alt + F2, dan masukkanrestart.
Jadi, Anda akan Baik menghapus ekstensi di bawah ~/.local/share/gnome-shell/extensionssecara manual.
3
Ini tampaknya menyarankan ada proses penghapusan instalasi tertentu dalam versi setelah 3.2.2.1 (selain menghapus folder secara manual dan memulai ulang) - yang, bagaimanapun, tidak ditentukan. Bagaimanapun, terima kasih.
—
MorganSBailey
Saya menghapus folder beberapa ekstensi, tetapi beberapa dari mereka kembali lagi setelah restart !!! (mis. menu aplikasi, AlternateTab, dll.)
—
Rahmani
@Rahmani jika Anda masih memiliki masalah itu: Lihat
—
Steffen Winkler
/usr/share/gnome-shell/extensions/. Rupanya beberapa ekstensi dipasang di seluruh sistem dan setidaknya dalam kasus saya mereka tidak dapat dilepas oleh situs web.
@SteffenWinkler terima kasih, ia bekerja dengan sempurna. Saya tidak tahu bahwa itu diinstal di seluruh sistem
—
ismailsunni
Oke, temukan itu. Di https://extensions.gnome.org , navigasikan di bawah Installed extensions, di mana ada tombol X di sebelah setiap ekstensi yang mencopot pemasangannya. Seperti disebutkan dalam jawaban sebelumnya, itu hanya berfungsi setelah versi 3.2.2.1.
Ini tidak selalu berhasil ...
—
Wilf
Saya menghapus ekstensi dari halaman ini, tetapi beberapa dari mereka kembali lagi setelah restart !!! (mis. menu aplikasi, AlternateTab, dll.)
—
Rahmani
@Rahmani - Keduanya adalah ekstensi oleh fmuellner extensions.gnome.org/accounts/profile/fmuellner ... Saya mengunduh ekstensi Pengaturan Pengguna dan menambahkan banyak ekstensi lainnya. Sekarang saya tidak bisa menghapusnya.
—
guttermonk
Formulir ekstensi 'fmuellner' sepertinya disimpan di direktori "/ usr / share / gnome-shell / extensions /" dan ekstensi lainnya disimpan di direktori "~ / .local / share / gnome-shell / extensions". Saya juga punya masalah ini sebelumnya. Saya menyelesaikannya dengan menghapus direktori ini dan menyalakan kembali komputer. Anda tidak dapat menghapusnya dari browser file atau explorer. Jadi, izin pengguna super diperlukan untuk menghapusnya. Gunakan perintah berikut di terminal.
$ sudo rm -r /usr/share/gnome-shell/extensions/
$ sudo rm -r ~/.local/share/gnome-shell/extensions/
dan kemudian restart komputer dari gui atau Anda dapat menggunakan
$ sudo init 6
Berhati-hatilah untuk tidak menghapus direktori lain karena kesalahan. Perbaikan di atas bekerja untuk saya. Semoga itu bisa membantu.
Saya melihat aktivitas terakhir "2 bulan lalu", jika tidak saya tidak akan menjawab.
Saya tidak tahu betapa sulitnya sebelumnya, tetapi sekarang Anda dapat dengan mudah pergi ke pusat perangkat lunak ubuntu, bagian "terinstal"