#!/bin/bash commandName=gnome-shell-extension-installer extensionLocation=/usr/share/gnome-shell/extensions workingDirectory=$(pwd) contextRoot=$(mktemp -d) cd "$contextRoot" wget -O "$commandName" "https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer" sudo install "$commandName" /usr/local/bin cd "$workingDirectory" rm -rf "$contextRoot" for id in 779 4907 do workingDirectory=$(pwd) contextRoot=$(mktemp -d) unzipLocation=$(mktemp -d) cd "$contextRoot" gnome-shell-extension-installer $id --no-install sudo gnome-shell-extension-installer $id --yes unzip ./*.zip -d "$unzipLocation" uuid=$(jq -r '.uuid' "$unzipLocation/metadata.json") sudo chmod -R +r "$extensionLocation/$uuid" gnome-extensions enable "$uuid" cd "$workingDirectory" rm -rf "$contextRoot" done killall -SIGQUIT gnome-shell