Rozszerzenia gnome pozostają na liście po usunięciu

Mam mały problem z rozszerzeniami powłoki gnome. Po zainstalowaniu niektórych z nich zrozumiałem, że ich nie lubię i postanowiłem je usunąć. Same rozszerzenia (ich foldery w /home/username/.local/share/gnome-shell/extensions) zostały pomyślnie usunięte. Jednak usunięte rozszerzenia nie zostały usunięte z listy zainstalowanych rozszerzeń na stronie extensions.gnome.org . Nie zostały również usunięte z listy w gnome-tweak-tool.

Więc teraz na mojej liście mam kilka rozszerzeń, które już usunąłem. Zabawne jest to, że nie mogę ich ponownie zainstalować, ponieważ zarówno narzędzie do poprawiania gnome, jak i strona internetowa myślą, że nadal tam są. Nie jest to oczywiście nic wielkiego, ale wydaje mi się to trochę denerwujące.

Ponowna instalacja gnome-tweak-tool nie pomogła.

Czy istnieje sposób, aby jakoś zaktualizować status zainstalowanych rozszerzeń?

Jak całkowicie usunąć jedno lub wszystkie rozszerzenia powłoki Gnome

Otwórz terminal: (z menu aplikacji lub naciskając Ctrl + Alt + T)

Następnie wpisz: sudo su - i wpisz hasło, a następnie naciśnij klawisz enter

następnie wpisz to polecenie:

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

następnie wpisz to polecenie, aby wyświetlić wszystkie zainstalowane rozszerzenia: ls

następnie wpisz to polecenie, aby usunąć każde rozszerzenie lub rozszerzenie, które naprawdę chcesz całkowicie usunąć:

rm -r name-of-extention

na przykład: rm -r dash-to-dock@yyy.gmail.com/

i naciśnij: Alt + F2, a następnie wpisz „r” tak proste tylko jeden r

Ok, gotowe.

Możesz sprawdzić extensions.gnome.org, aby się upewnić.

Przejdź do zainstalowanych rozszerzeń na extensions.gnome.org i kliknij symbol X w kółku po prawej stronie rozszerzenia, aby je odinstalować. Przełącznik ON / OFF tylko go wyłącza.