2022-11-12 13:15:20 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
# Elevate script
|
|
|
|
|
if [ ! "$UID" -eq 0 ]
|
|
|
|
|
then
|
2022-11-13 00:11:32 +00:00
|
|
|
sudo bash "$BASH_SOURCE"
|
|
|
|
|
else
|
|
|
|
|
commandName=gnome-shell-extension-installer
|
|
|
|
|
workingDirectory=$(pwd)
|
|
|
|
|
contextRoot=$(mktemp -d)
|
|
|
|
|
cd $contextRoot
|
2022-11-12 13:15:20 +00:00
|
|
|
|
2022-11-13 00:11:32 +00:00
|
|
|
wget -O $commandName "https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer"
|
|
|
|
|
install $commandName /usr/local/bin
|
2022-11-12 13:15:20 +00:00
|
|
|
|
2022-11-13 00:11:32 +00:00
|
|
|
cd $workingDirectory
|
|
|
|
|
rm -rf $contextRoot
|
2022-11-12 13:15:20 +00:00
|
|
|
|
2022-11-13 00:11:32 +00:00
|
|
|
gnome-shell-extension-installer 779 --yes
|
|
|
|
|
gnome-shell-extension-installer 4907 --yes
|
|
|
|
|
killall -SIGQUIT gnome-shell
|
|
|
|
|
fi
|
