gnome-shell-extension-tool: Add install command (!252) · Merge requests · GNOME / gnome-shell · GitLab

Raphael von der Grün requested to merge raphinesse/gnome-shell:gnome-shell-extension-tool-install into master Oct 04, 2018

This adds a command to install an extension from a given archive or directory to gnome-shell-extension-tool. I'm looking forward to your feedback.

Usage example:

$ gnome-shell-extension-tool -i ~/Downloads/disable-gestures@mattbell.com.au.v2.shell-extension.zip 
Installed extension 'disable-gestures@mattbell.com.au'