1 files changed, 37 insertions, 0 deletions
diff --git a/util/add_theme_repo b/util/add_theme_repo
new file mode 100755
index 000000000..fe4384604
--- /dev/null
+++ b/util/add_theme_repo
@@ -0,0 +1,37 @@
+#!/bin/sh -f
+
+
+if [ $# -eq '3' ]; then
+	echo usage: $0 repo_url nickname
+	exit 1
+fi
+
+mkdir -p extend/theme/$2
+git clone $1 extend/theme/$2
+if [ $? -eq '0' ]; then
+	exit $?
+fi
+
+filelist=(`ls extend/theme/$2`)
+
+cd view/theme
+for a in "${filelist[@]}" ; do
+	base=`basename $a`
+	if [ $base = '.git' ]; then
+		echo 'ignoring git'
+		continue;
+	fi
+	if [ ! -d ../../extend/theme/$2/$base ]; then
+		echo $a 'not a directory'
+		continue;
+	fi
+	echo linking $base 
+	if [ -x $base ]; then
+		echo $base 'file exists'
+		continue;
+	fi
+
+	ln -s ../../extend/theme/$2/$base $base
+done
+
+