From 4899c12c3ea473ac5c15525c8e784a0d612b8e69 Mon Sep 17 00:00:00 2001 From: Manuel Thalmann Date: Sat, 12 Nov 2022 14:15:20 +0100 Subject: [PATCH] Add script for installing gnome-shell extensions --- ManuSurface/setup.sh | 4 ++++ scripts/PopOS/software/gnome-extensions.sh | 21 +++++++++++++++++++++ 2 files changed, 25 insertions(+) create mode 100755 scripts/PopOS/software/gnome-extensions.sh diff --git a/ManuSurface/setup.sh b/ManuSurface/setup.sh index 5b3353cf..e4fedd6b 100644 --- a/ManuSurface/setup.sh +++ b/ManuSurface/setup.sh @@ -30,6 +30,10 @@ flatpak install flathub com.bitwarden.desktop flatpak install flathub com.github.xournalpp.xournalpp flatpak install flathub org.signal.Signal flatpak install flathub com.usebottles.bottles +flatpak install flathub com.mattjakeman.ExtensionManager # Install Steam sudo apt install steam + +# Install gnome extensions +source "$softwareRoot/gnome-extensions.sh" diff --git a/scripts/PopOS/software/gnome-extensions.sh b/scripts/PopOS/software/gnome-extensions.sh new file mode 100755 index 00000000..dc229e67 --- /dev/null +++ b/scripts/PopOS/software/gnome-extensions.sh @@ -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