diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2014-02-28 15:30:28 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2014-02-28 15:30:28 -0300 |
| commit | 8a6c4c27702469c01907dfba4b5bfe08cdc70df1 (patch) | |
| tree | 6c7f248d84c9771080cbe111bee11a09457e80b0 | |
| parent | 5dedb4de9e65cd044790d77f642d0c82ba6f1d2a (diff) | |
| download | hydra-8a6c4c27702469c01907dfba4b5bfe08cdc70df1.tar.gz hydra-8a6c4c27702469c01907dfba4b5bfe08cdc70df1.tar.bz2 | |
Minor cleanup
| -rwxr-xr-x | share/hydra/sync | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/share/hydra/sync b/share/hydra/sync index 2b31cb0..25dccfd 100755 --- a/share/hydra/sync +++ b/share/hydra/sync @@ -77,16 +77,3 @@ if [ "$UPDATE_KEYRINGER" != "no" ]; then echo "Syncing keyringer..." keyringer $HYDRA git pull fi - -# Update puppet configuration. -if [ -z "$PUPPET" ]; then - echo "Searching for a puppet repository at $BASEDIR..." - PUPPET="$(dirname `find $BASEDIR -name puppet.conf | tail -n 1` 2> /dev/null)" - - if [ ! -z "$PUPPET" ]; then - if ! grep -q -e "^PUPPET=" $PREFERENCES; then - echo "Found puppet repository at $PUPPET." - echo "PUPPET=$PUPPET" >> $PREFERENCES - fi - fi -fi |