Saya punya sedikit masalah dengan ekstensi gnome shell. Setelah menginstal beberapa dari mereka, saya mengerti saya tidak suka mereka dan memutuskan untuk menghapusnya. Ekstensi itu sendiri (foldernya di /home/username/.local/share/gnome-shell/extensions) berhasil dihapus. Namun, ekstensi yang dihapus tidak dihapus dari daftar ekstensi yang dipasang di extensions.gnome.org . Mereka juga tidak dihapus dari daftar di gnome-tweak-tool.
Jadi sekarang dalam daftar saya, saya memiliki banyak ekstensi yang sudah saya hapus. Yang lucu adalah saya tidak dapat menginstalnya kembali, karena baik gnome-tweak-tool dan situs web berpikir mereka masih ada. Ini bukan masalah besar tentu saja, tetapi saya merasa sedikit mengganggu.
Menginstal ulang gnome-tweak-tool tidak membantu.
Apakah ada cara untuk memperbarui status ekstensi yang dipasang?
sumber
Jawaban:
Cara menghapus satu atau semua ekstensi Gnome-shell sepenuhnya
Buka terminal: (dari menu aplikasi atau dengan menekan Ctrl + Alt + T)
Kemudian ketik: sudo su - dan ketikkan kata sandi Anda dan tekan enter
lalu ketik perintah ini:
kemudian ketik perintah ini untuk melihat semua ekstensi yang Anda instal: ls
kemudian ketik perintah ini untuk menghapus masing-masing atau ekstensi yang Anda ingin hapus sepenuhnya:
misalnya: rm -r [email protected]/
dan tekan: Alt + F2 lalu ketik "r" yes simple just one r
OK sudah selesai.
Anda dapat memeriksa extensions.gnome.org untuk memastikan tentang hal ini.
sumber
Buka ekstensi yang diinstal pada extensions.gnome.org dan klik simbol X di lingkaran di sebelah kanan ekstensi untuk mencopot pemasangannya. Tombol ON / OFF hanya menonaktifkannya.
sumber