git update everything

1 files changed, 17 insertions, 0 deletions

diff --git a/util/udall b/util/udall
new file mode 100755
index 000000000..d1ff1c482
--- /dev/null
+++ b/util/udall
@@ -0,0 +1,17 @@
+#!/bin/bash
+if [ ! -d .git ]; then
+	echo Unable to update `pwd`
+	exit
+fi
+git pull
+
+if [ -d extend ] ; then
+	for a in  theme addon widget ; do
+		if [ -d $a ]; then
+			for b in  `ls extend/$a` ; do
+				echo Updating $b
+				'util/update_'$a'_repo' $b
+			done
+		fi
+	done
+fi