#!/bin/bash
# Elevate script
if [ ! "$UID" -eq 0 ]
then
    exec sudo bash "$0"
fi

commandName=gnome-shell-extension-installer
workingDirectory=$(pwd)
contextRoot=$(mktemp -d)
cd $contextRoot

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

cd $workingDirectory
rm -rf $contextRoot

gnome-shell-extension-installer 779 --yes
gnome-shell-extension-installer 4907 --yes
killall -SIGQUIT gnome-shell