Instalé algunas extensiones de Gnome Shell con apt (paquete deb): ¿cómo habilitarlas?

Question

Hice:

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

Revisé las "Extensiones" y los "ajustes de gnome" de la GUI y no los veo en esta lista. ¿Cómo habilitarlos y configurarlos?

Answer 1

Una vez instaladas las extensiones con esos comandos, intente reiniciar gnome-shell escribiendo Alt+F2 restarty presione Entrar.

Luego ábrelos extensions appo tweakspara controlarlos.

Alternativamente, cerrar sesión y volver a iniciar sesión también es una forma.

Simplemente vuelvo a iniciar sesión, una vez que se ejecutan los dos comandos que mencionaste.