#!/bin/bash
contextRoot="$(mktemp -d)";
commandName="gnome-shell-extension-installer";
pushd "$contextRoot" > /dev/null;

wget -O "$commandName" https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer;
sudo install "$commandName" /usr/local/bin;

popd > /dev/null;
rm -rf "$contextRoot";