Расширения Gnome остаются в списке после удаления

У меня есть небольшая проблема с расширениями оболочки gnome. После установки некоторых из них я понял, что они мне не понравились, и решил удалить их. Сами расширения (их папки в /home/username/.local/share/gnome-shell/extensions) были успешно удалены. Однако удаленные расширения не были удалены из списка установленных расширений на extensions.gnome.org . Они также не были удалены из списка в gnome-tweak-tool.

Так что теперь в моем списке есть несколько расширений, которые я уже удалил. Самое смешное, что я тоже не могу их переустановить, так как и инструмент gnome-tweak-tool, и веб-сайт считают, что они все еще там. Это не имеет большого значения, конечно, но я нахожу это немного раздражающим.

Переустановка gnome-tweak-tool не помогла.

Есть ли способ как-то обновить статус установленных расширений?

Как полностью удалить одно или все расширения оболочки 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 только отключает его.