Update Gnome Shell extensions from the command line
As asked here it would be great to have a clean build-in way to check and update specific extension or all at once. Of course only if the update procedure end succesfully, since extensions usually break things.
Maybe would be a parameter on gnome-shell-extension-tool
: --update <extension>
(as from ~/.local/share/gnome-shell/extensions/) and --update-all
.