1
0
mirror of https://github.com/php/systems.git synced 2026-03-24 07:42:12 +01:00
Files
archived-systems/update-systems
2015-02-16 13:05:36 +01:00

16 lines
301 B
Bash
Executable File

#!/bin/sh
# $Id$
# Update systems checkout under /local/systems
. /etc/profile
cd /local/systems || exit 1
if test -d .git && test -x /usr/bin/git; then
# master.php.net
git pull -q
else
# pb12.pair.com
rsync -qazC --timeout=600 --delete --delete-after rsync.php.net::systems /local/systems
fi