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

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

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

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

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

8
задан 20 October 2012 в 17:10

2 ответа

Перейдите к установленным расширениям на extensions.gnome.org и щелкните символ X в кружке справа от расширения, чтобы удалить его. Переключатель ON / OFF только отключает его.

enter image description here

0
ответ дан 20 October 2012 в 17:10

Как удалить один или все расширение (расширения) оболочки Gnome полностью

Открытый терминал: (от меню приложения или путем нажатия Ctrl+Alt+T)

Затем тип: sudo su - и тип Ваш пароль и нажимают Enter

enter image description here

затем введите эту команду:

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

enter image description here

затем введите эту команду для наблюдения всех установленных расширений: ls

enter image description here

затем введите эту команду для удаления каждого или расширения, Вы действительно хотите удалить его полностью:

rm -r name-of-extention

например: комната-r dash-to-dock@yyy.gmail.com/

enter image description here

и нажатие: Alt+F2 затем тип "r" да простой всего один r

Хорошо сделанный.

Можно проверить extensions.gnome.org, чтобы быть уверенными в этом.

2
ответ дан 20 October 2012 в 17:10

Другие вопросы по тегам:

Похожие вопросы: