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…