From 8a6c4c27702469c01907dfba4b5bfe08cdc70df1 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Fri, 28 Feb 2014 15:30:28 -0300
Subject: Minor cleanup

---
 share/hydra/sync | 13 -------------
 1 file changed, 13 deletions(-)

(limited to 'share')

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
-- 
cgit v1.2.3