manuth/PortValhalla
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add gnome-shell-extension-installer

Browse source
This commit is contained in:
Manuel Thalmann 2023-04-04 01:33:58 +02:00
parent dc07cd68cc
commit bc1bf40da9
2 changed files with 13 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
scripts/Common/Config/GnomeExtensions/install.sh
View file

@ -1,15 +1,8 @@
#!/bin/bash
commandName=gnome-shell-extension-installer;
extensionLocation=/usr/share/gnome-shell/extensions;
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";
pushd "${BASH_SOURCE%/*}" > /dev/null;
. "../../gnome-shell-extension-installer/install.sh";
uuids=();
for id in
@ -43,3 +36,4 @@ do
done
killall -SIGQUIT gnome-shell;
popd > /dev/null;

10
scripts/Common/Software/gnome-shell-extension-installer /install.sh Executable file
View file

@ -0,0 +1,10 @@
#!/bin/bash
contextRoot="$(mktemp -d)";
commandName="gnome-shell-extension-installer";
pushd "$contextRoot" > /dev/null;
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";