У меня небольшая проблема с расширениями оболочки gnome. После установки некоторых из них я понял, что они мне не понравились, и решил удалить их. Сами расширения (их папки в /home/username/.local/share/gnome-shell/extensions
) были успешно удалены. Однако удаленные расширения не были удалены из списка установленных расширений на extensions.gnome.org . Они также не были удалены из списка в gnome-tweak-tool.
Так что теперь в моем списке есть несколько расширений, которые я уже удалил. Самое смешное, что я тоже не могу их переустановить, так как и инструмент gnome-tweak-tool, и сайт считают, что они все еще там. Конечно, это не имеет большого значения, но я нахожу это немного раздражающим.
Переустановка gnome-tweak-tool не помогла.
Есть ли способ как-то обновить статус установленных расширений?
Перейдите к установленным расширениям на extensions.gnome.org и щелкните символ X в кружке справа от расширения, чтобы удалить его. Переключатель ON / OFF только отключает его.
Как удалить один или все расширение (расширения) оболочки Gnome полностью
Открытый терминал: (от меню приложения или путем нажатия Ctrl+Alt+T)
Затем тип: sudo su - и тип Ваш пароль и нажимают Enter
затем введите эту команду:
cd /home/"your user account"/.local/share/gnome-shell/extensions/
затем введите эту команду для наблюдения всех установленных расширений: ls
затем введите эту команду для удаления каждого или расширения, Вы действительно хотите удалить его полностью:
rm -r name-of-extention
например: комната-r dash-to-dock@yyy.gmail.com/
и нажатие: Alt+F2 затем тип "r" да простой всего один r
Хорошо сделанный.
Можно проверить extensions.gnome.org, чтобы быть уверенными в этом.