A bash script to install extensions from extensions.gnome.org