diff options
Diffstat (limited to 'share')
| -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 |