_property_path() takes property filename instead of property name now
[girocco.git] / updatecheck.sh
blobd20a93d4f27005334a4285cf71346927e75b74fe
1 #!/bin/bash
3 if [ -e /tmp/gitupdatelock ]; then
4 echo "Locked!" >&2
5 exit 1
6 fi
7 touch /tmp/gitupdatelock
9 cd /srv/git
10 for dir in *; do
11 [ -e "$dir"/.nofetch ] && continue
12 /home/repo/repomgr/update.sh "${dir%.git}"
13 done
15 rm /tmp/gitupdatelock