From 2e4e23dfb9bf78d485681c268c1cc0cf22b2d111 Mon Sep 17 00:00:00 2001
From: Manuel Thalmann <m@nuth.ch>
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