PortValhalla/scripts/PopOS/software/gnome-extensions.sh

22 lines
566 B
Bash
Executable file

#!/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