diff --git a/local-install.sh b/local-install.sh new file mode 100755 index 00000000..2a3ef0df --- /dev/null +++ b/local-install.sh @@ -0,0 +1,15 @@ +#!/bin/bash + +extensionbase=~/.local/share/gnome-shell/extensions + +for i in zip-files/*; do + zip_file=`pwd`/$i; + uuid=`basename $i | sed -e "s/.shell-extension.zip//"`; + if [ -d $extensionbase/$uuid ]; then + rm -fR $extensionbase/$uuid; + fi + mkdir $extensionbase/$uuid; + (cd $extensionbase/$uuid; + unzip -q $zip_file; + ); +done