Enable :
gnome-shell-extension-tool -e '[email protected]'
Disable :
gnome-shell-extension-tool -d '[email protected]'
Reload :
gnome-shell-extension-tool -r [email protected]
Logging :
Log with console.log("...");
Look at errors with journalctl -f
Looking glass : ALT-F2 lg -> extensions
Reload gnome shell : ALT-F2 r