git update scripts for external repositories

2015-02-19 21:11:02 -08:00
parent eeec826eda
commit 7926ed079a
2 changed files with 20 additions and 0 deletions
@@ -0,0 +1,10 @@
+#!/bin/sh -f
+
+if [ $# -eq '2' ]; then
+	echo usage: $0 nickname
+	exit 1
+fi
+
+cd extend/addon/$1
+git pull
+
@@ -0,0 +1,10 @@
+#!/bin/sh -f
+
+if [ $# -eq '2' ]; then
+	echo usage: $0 nickname
+	exit 1
+fi
+
+cd extend/theme/$1
+git pull
+