Files
gnome-shell-extensions/local-install.sh
Giovanni Campagna e488482a2c Introduce local-install.sh script
Cherry-picked from master.
2011-11-28 16:20:29 +01:00

16 lines
347 B
Bash
Executable File

#!/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