diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2012-01-13 09:41:48 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2012-01-13 09:41:48 -0200 |
commit | 7eb09fe85596c6a88826598871f23594a34a776a (patch) | |
tree | deeb7ebde8a8c42e9a6579b568e149c7936898bb | |
parent | d01d91c58496c8dd2f2ade007418dd1cca52e123 (diff) | |
download | hydra-7eb09fe85596c6a88826598871f23594a34a776a.tar.gz hydra-7eb09fe85596c6a88826598871f23594a34a776a.tar.bz2 |
Fixing sync behavior
-rwxr-xr-x | share/hydra/sync | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/share/hydra/sync b/share/hydra/sync index 2d59647..56bffe1 100755 --- a/share/hydra/sync +++ b/share/hydra/sync @@ -23,10 +23,16 @@ if [ -z "$1" ]; then REPOSITORIES="bootless dns gitosis/public gitosis/private puppet" else REPOSITORIES="$*" + UPDATE_KEYRINGER="no" fi # Sync each repository. for repository in $REPOSITORIES; do + if [ "$repository" == "keyringer" ]; then + UPDATE_KEYRINGER="yes" + continue + fi + if [ -d "$HYDRA_FOLDER/$repository/.git" ]; then echo "Syncing $repository..." ( cd $HYDRA_FOLDER/$repository && git pull origin master && git submodule update --init ) @@ -34,5 +40,7 @@ for repository in $REPOSITORIES; do done # Update keyring. -echo "Updating keyringer..." -keyringer $HYDRA git pull +if [ "$UPDATE_KEYRINGER" != "no" ]; then + echo "Syncing keyringer..." + keyringer $HYDRA git pull +fi |