Ekstensi Gnome tetap ada dalam daftar setelah dihapus

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?

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:

cd /home/"your user account"/.local/share/gnome-shell/extensions/

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:

rm -r name-of-extention

misalnya: rm -r dash-to-dock@yyy.gmail.com/

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.

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.