util/update_theme_repo


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/bin/sh -f


if [ $# -ne 1 ]; then
	echo usage: $0 repository
	echo "Repositories:"
	ls extend/theme
	exit 1
fi

cd extend/theme/$1

if [ -d .git ] ; then
	git pull
fi