path: root/util/update_theme_repo

#!/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