summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorSilvio Rhatto <rhatto@riseup.net>2014-02-28 15:30:28 -0300
committerSilvio Rhatto <rhatto@riseup.net>2014-02-28 15:30:28 -0300
commit8a6c4c27702469c01907dfba4b5bfe08cdc70df1 (patch)
tree6c7f248d84c9771080cbe111bee11a09457e80b0 /share
parent5dedb4de9e65cd044790d77f642d0c82ba6f1d2a (diff)
downloadhydra-8a6c4c27702469c01907dfba4b5bfe08cdc70df1.tar.gz
hydra-8a6c4c27702469c01907dfba4b5bfe08cdc70df1.tar.bz2
Minor cleanup
Diffstat (limited to 'share')
-rwxr-xr-xshare/hydra/sync13
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