PortValhalla/scripts/Common/Config/GnomeExtensions/install.sh

46 lines
1.3 KiB
Bash
Raw Normal View History

#!/bin/bash
commandName=gnome-shell-extension-installer;
extensionLocation=/usr/share/gnome-shell/extensions;
2023-01-23 15:11:51 +00:00
contextRoot="$(mktemp -d)";
pushd "$contextRoot" > /dev/null;
sudo apt install -y jq;
wget -O "$commandName" "https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer";
sudo install "$commandName" /usr/local/bin;
popd > /dev/null;
rm -rf "$contextRoot";
2023-01-23 15:15:19 +00:00
uuids=();
2023-03-20 15:23:08 +00:00
for id in
5278 # pano https://extensions.gnome.org/extension/5278/pano/
4907 # EasyEffects Preset Selector https://extensions.gnome.org/extension/4907/easyeffects-preset-selector/
1162 # Emoji Selector https://extensions.gnome.org/extension/1162/emoji-selector/
do
2023-01-23 15:11:51 +00:00
contextRoot="$(mktemp -d)";
unzipLocation="$(mktemp -d)";
pushd "$contextRoot" > /dev/null;
2023-01-23 15:11:51 +00:00
gnome-shell-extension-installer "$id" --no-install;
sudo gnome-shell-extension-installer "$id" --yes;
unzip ./*.zip -d "$unzipLocation";
2023-01-23 15:15:19 +00:00
2023-01-23 15:11:51 +00:00
uuid="$(jq -r '.uuid' "$unzipLocation/metadata.json")";
2023-01-23 15:15:19 +00:00
uuids+=("$uuid");
sudo chmod -R +r "$extensionLocation/$uuid";
popd > /dev/null;
rm -rf "$contextRoot";
done
killall -SIGQUIT gnome-shell;
2023-01-23 15:15:19 +00:00
sleep 3;
for uuid in ${uuids[@]}
do
2023-01-23 18:37:43 +00:00
gnome-extensions enable "$uuid";
2023-01-23 15:15:19 +00:00
done
killall -SIGQUIT gnome-shell;