Instalou algumas extensões do Gnome Shell com apt (pacote deb) - Como habilitá-las?

Question

Eu fiz:

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

Verifiquei as "Extensões" e "gnome-tweaks" da GUI e não os vejo nesta lista. Como habilitá-los e configurá-los?

Answer 1

Uma vez instaladas as extensões com esses comandos, tente reiniciar o gnome-shell digitando Alt + F2 restarte pressione Enter.

Em seguida, abra extensions appou tweakspara controlá-los.

Alternativamente, sair e fazer login também é uma maneira.

Acabei de fazer login novamente, assim que os dois comandos que você mencionou forem executados.