GNOME拡張機能が削除された後もリストに残る

gnomeシェル拡張に少し問題があります。それらのいくつかをインストールした後、私はそれらが好きではないことを理解し、それらを削除することにしました。拡張機能自体（内のフォルダー/home/username/.local/share/gnome-shell/extensions）は正常に削除されました。しかし、削除された機能拡張はしていないで、インストールされた拡張機能のリストから削除extensions.gnome.org。また、それらはgnome-tweak-toolのリストから削除されませんでした。

だから私のリストには、すでに削除した拡張機能がたくさんあります。面白いのは、私もそれらを再インストールできないことです。なぜなら、gnome-tweak-toolとWebサイトの両方がまだそこにあると思っているからです。もちろん、これは大したことではありませんが、少し面倒です。

gnome-tweak-toolを再インストールしても解決しませんでした。

インストールされている拡張機能のステータスを何らかの方法で更新する方法はありますか？

1つまたはすべてのGnomeシェル拡張を完全に削除する方法

ターミナルを開く：（アプリメニューから、またはCtrl + Alt + Tを押して）

次にsudo su-と入力し、パスワードを入力してEnterキーを押します

次に、次のコマンドを入力します。

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

次に、次のコマンドを入力して、インストールされているすべての拡張機能を確認します。ls

次に、次のコマンドを入力して、本当に完全に削除する拡張機能または拡張機能を削除します。

rm -r name-of-extention

例：rm -r dash-to-dock@yyy.gmail.com/

そしてAltキーを押しながらF2キーを押してから、「r」と入力します

了解しました。

これについては、extensions.gnome.orgを確認してください。

extensions.gnome.orgにインストールされている拡張機能に移動し、拡張機能の右側にある丸のX記号をクリックしてアンインストールします。ON / OFFスイッチはそれを無効にするだけです。