http://www.bernaerts-nicolas.fr/linux/76-gnome/345-gnome-shell-install-remove-extension-command-line-script
#gnome #ext #cli
#gnome #ext #cli
www.bernaerts-nicolas.fr
Gnome Shell - Management of Extensions from console
This article explains how to install & remove Gnome Shell extensions from extensions.gnome.org via some console commands. It also provides a script that does all the installation/removal steps in one go. With this script, you'll be able to fully automate…