Вопрос или проблема
Я использую gnome-shell 3.4.1 на Ubuntu 12.04. Я пробовал различные расширения с http://extensions.gnome.org, и теперь я хочу полностью удалить некоторые из них, особенно чтобы они не занимали место в Gnome Tweak Tool.
Безопасно ли просто удалить папку расширений в ~/.local/share/gnome-shell/extensions/?
С страницы Gnome shell сказано:
В
GNOME 3.2есть некоторые ошибки, из-за которых удаление некоторых расширений не работает должным образом. GNOME Shell 3.2.2.1 исправил эти проблемы. Убедитесь, что ваша система полностью обновлена, если у вас есть проблемы с удалением расширений.Если у вас нет GNOME Shell 3.2.2.1 и вы не можете его получить, или не уверены, вы можете удалить расширение вручную. Удалите директорию расширения, а затем перезапустите оболочку. Расширение должно храниться в
~/.local/share/gnome-shell/extensions. Удаление директории будет недостаточно: вам нужно перезапустить оболочку, чтобы убедиться, что расширение полностью удалено: откройте диалог запуска с помощью Alt+F2 и введитеrestart.
Итак, вы можете безопасно удалить расширение в ~/.local/share/gnome-shell/extensions вручную.
Хорошо, я нашел это. В https://extensions.gnome.org перейдите в раздел Установленные расширения, где рядом с каждым расширением есть кнопка X, которая убирает его. Как упоминалось в предыдущем ответе, это работает только после версии 3.2.2.1.
Расширения от ‘fmuellner’ кажется хранятся в директории “/usr/share/gnome-shell/extensions/”, а другие расширения хранятся в директории “~/.local/share/gnome-shell/extensions”. У меня тоже была эта проблема раньше. Я решил ее, удалив эти директории и перезапустив компьютер. Вы не можете удалить их через файловый менеджер или проводник. Поэтому для удаления требуются права суперпользователя. Используйте следующую команду в терминале.
$ sudo rm -r /usr/share/gnome-shell/extensions/
$ sudo rm -r ~/.local/share/gnome-shell/extensions/
Затем перезапустите компьютер через графический интерфейс или вы можете использовать
$ sudo init 6
Будьте осторожны, чтобы случайно не удалить другие директории. Вышеуказанное решение сработало для меня. Надеюсь, это поможет.
Я увидел последнее действие “2 месяца назад”, иначе бы не ответил.
Я не знаю, насколько это было сложно раньше, но теперь вы можете просто перейти в
центр программного обеспечения Ubuntu, раздел “Установлено”
Я также пытался удалить мои расширения с https://extensions.gnome.org/local/, но когда я перезапускаю систему, некоторые из них возвращаются.
Что я делаю в этом случае, так это удаляю их вручную из файловой системы следующим образом:
-
Я проверяю эти два места:
/usr/share/gnome-shell/extensions/и~/.local/share/gnome-shell/extensions/. -
Я нахожу директорию расширения, которое хочу удалить, и выполняю:
(sudo) rm -rf xxxгде
xxx— это путь к директории расширения.ОСТОРОЖНО: необходимо быть особенно осторожным, чтобы ввести правильный путь в вышеуказанную команду, так как она рекурсивно удаляет содержимое указанной директории без запроса подтверждения у пользователя! Если путь неправильный, это может уничтожить всю систему!
-
Наконец, перезагрузите свой компьютер, и, о чудо, это сработает.
На 24.04 правильный способ выглядит так:
$ gnome-extensions list # чтобы увидеть имена расширений
$ gnome-extensions disable [email protected]
Смотрите gnome-extensions help для всех команд – это также может:
'info' - местоположения исходных файлов
'uninstall'
Ответ или решение
Чтобы полностью удалить расширение для интерфейса GNOME Shell, выполните следующие шаги. Этот процесс важен, особенно если у вас установлено несколько расширений и вы хотите освободить место в GNOME Tweak Tool и избежать потенциальных конфликтов между расширениями.
Шаг 1: Проверка установленных расширений
Сначала вам нужен доступ к списку установленных расширений. Вы можете использовать команду в терминале:
gnome-extensions listЭто предоставит вам список всех установленных расширений вместе с их идентификаторами. Это важно для того, чтобы убедиться, что вы удаляете именно то расширение, которое хотите.
Шаг 2: Отключение расширения
Если вы хотите сначала отключить расширение, можете воспользоваться следующей командой:
gnome-extensions disable <имя_расширения>Где <имя_расширения> — это имя расширения, которое вы хотите отключить. Это позволит вам протестировать работу системы без этого расширения.
Шаг 3: Удаление расширения
Существуют два основных места, где могут быть установлены расширения:
- Локально для пользователя:
~/.local/share/gnome-shell/extensions/ - Системно:
/usr/share/gnome-shell/extensions/
3.1 Удаление локального расширения
Для удаления локального расширения выполните следующие команды в терминале:
rm -rf ~/.local/share/gnome-shell/extensions/<имя_расширения>Замените <имя_расширения> на реальное имя папки расширения. Данный подход не требует прав суперпользователя.
3.2 Удаление системного расширения
Если расширение установлено системно, вам понадобятся права суперпользователя. Используйте следующую команду:
sudo rm -rf /usr/share/gnome-shell/extensions/<имя_расширения>Опять же, замените <имя_расширения> на соответствующую папку. Будьте особенно осторожны при использовании команды rm -rf, так как неправильный путь может привести к удалению критически важных файлов.
Шаг 4: Перезагрузка GNOME Shell
Для того чтобы изменения вступили в силу, необходимо перезапустить GNOME Shell. Это можно сделать с помощью:
-
Находясь в терминале, выполните:
gnome-shell --replace &Либо
-
Откройте диалог запуска, нажав
Alt + F2, и введите команду:restart
После выполнения этих шагов расширение будет полностью удалено из вашей системы.
Заключение
Удаление расширений GNOME Shell может быть выполнено как вручную, через файловую систему, так и с использованием встроенных инструментов командной строки. Всегда проверяйте, какие расширения установлены и при необходимости отключайте их перед удалением. Впоследствии, следите за работой системы, чтобы убедиться, что удаление прошло успешно и не вызвало неожиданных проблем.