#!/bin/bash
# Elevate script
if [ ! "$UID" -eq 0 ]
then
    sudo bash "$BASH_SOURCE"
else
    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
fi