Add script for installing gnome-shell extensions

This commit is contained in:
Manuel Thalmann 2022-11-12 14:15:20 +01:00
parent 78c48774d8
commit 4899c12c3e
2 changed files with 25 additions and 0 deletions

View file

@ -30,6 +30,10 @@ flatpak install flathub com.bitwarden.desktop
flatpak install flathub com.github.xournalpp.xournalpp flatpak install flathub com.github.xournalpp.xournalpp
flatpak install flathub org.signal.Signal flatpak install flathub org.signal.Signal
flatpak install flathub com.usebottles.bottles flatpak install flathub com.usebottles.bottles
flatpak install flathub com.mattjakeman.ExtensionManager
# Install Steam # Install Steam
sudo apt install steam sudo apt install steam
# Install gnome extensions
source "$softwareRoot/gnome-extensions.sh"

View file

@ -0,0 +1,21 @@
#!/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