Bagaimana cara menghapus ekstensi shell gnome?


26

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/?

Jawaban:


23

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 masukkan restart.

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

2
Saya menghapus folder beberapa ekstensi, tetapi beberapa dari mereka kembali lagi setelah restart !!! (mis. menu aplikasi, AlternateTab, dll.)
Rahmani

2
@Rahmani jika Anda masih memiliki masalah itu: Lihat /usr/share/gnome-shell/extensions/. Rupanya beberapa ekstensi dipasang di seluruh sistem dan setidaknya dalam kasus saya mereka tidak dapat dilepas oleh situs web.
Steffen Winkler

1
@SteffenWinkler terima kasih, ia bekerja dengan sempurna. Saya tidak tahu bahwa itu diinstal di seluruh sistem
ismailsunni

11

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.

masukkan deskripsi gambar di sini


11
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

4

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.


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.