Установил некоторые расширения Gnome Shell с помощью apt (пакет deb) — как их включить?

Question

Я сделал:

sudo apt install gnome-shell-extension-show-ip
sudo apt install gnome-shell-extension-weather

Я проверил GUI "Расширения" и "gnome-tweaks" и не вижу их в этом списке. Как их включить и настроить?

Answer 1

После установки расширений с помощью этих команд попробуйте перезапустить gnome-shell, набрав Alt+F2 restartи нажав Enter.

Затем откройте extensions appили , tweaksчтобы управлять ими..

Альтернативный способ - выйти из системы и снова войти в нее.

Я просто перелогинился после выполнения двух упомянутых вами команд.