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

8

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

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

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

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

    
задан SingerOfTheFall 17.10.2012 в 15:57
источник

2 ответа

2

Как удалить одно или все расширения 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», да просто один r

Хорошо.

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

    
ответ дан user56564 25.10.2012 в 10:37
источник
0

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

    
ответ дан user530873 25.10.2012 в 05:35
источник

Ознакомьтесь с другими вопросами по меткам