repo-push-public gets same cmdline arg as git-push-public

diff --git a/repo-push-public b/repo-push-public
index d0251dc38e6a816300ae01df4fefe3a469e83385..87c70e7a69ca19b566526df8c01d934b1f2e76c8 100755 (executable)
--- a/repo-push-public
+++ b/repo-push-public
@@ -3,8 +3,8 @@
 # Push changes to the local TMI repo to the public repo.  We really should be
 # using launchpad to host the public version of the TMI repo.
 
-PUBLICSERVER="$1"
-[ -z "$PUBLICSERVER" ] && PUBLICSERVER=oss.titaniummirror.com
+PUBLICSERVER=oss.titaniummirror.com
+[ "$1" = "-s" -a -n "$2" ] && PUBLICSERVER="$2"
 
 echo "Updating APT repo on $PUBLICSERVER"
 rsync -avz --delete /var/local/aptrepo/ $PUBLICSERVER:/var/local/aptrepo/