[gnome-shell-extensions/gnome-3-2: 4/6] Introduce local-install.sh script

[Giovanni Campagna <gcampagna src gnome org>]

commit e488482a2cbac9d72821b9d07f063c9abff40069
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Mon Nov 28 16:15:36 2011 +0100

    Introduce local-install.sh script
    
    Cherry-picked from master.

 local-install.sh |   15 +++++++++++++++
 1 files changed, 15 insertions(+), 0 deletions(-)
---
diff --git a/local-install.sh b/local-install.sh
new file mode 100755
index 0000000..2a3ef0d
--- /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