У меня есть небольшая проблема с расширениями оболочки 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
затем введите эту команду:
затем введите эту команду, чтобы увидеть все установленные расширения: ls
затем введите эту команду, чтобы удалить каждое или расширение, которое вы действительно хотите полностью удалить:
например: rm -r dash-to-dock@yyy.gmail.com/
и нажмите: Alt + F2, затем наберите «r» да просто один г
Хорошо, это сделано.
Вы можете проверить extensions.gnome.org, чтобы быть уверенным в этом.
источник
Перейдите к установленным расширениям на extensions.gnome.org и щелкните символ X в кружке справа от расширения, чтобы удалить его. Переключатель ON / OFF только отключает его.
источник