From 58d13a1a675b7b8eda9e29373c306434f311cd1a Mon Sep 17 00:00:00 2001
From: Jeremy Stanley <fungi@yuggoth.org>
Date: Thu, 30 Jan 2014 21:26:45 +0000
Subject: [PATCH] If curl is missing try wget instead

* install_puppet.sh: Different providers vary in what packages are
preinstalled, but usually they at least have one of curl or wget.
Have a falback here to make the script slightly more portable.

Change-Id: Id126e47f037cd3165a95241a066b48246661a168
---
 install_puppet.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install_puppet.sh b/install_puppet.sh
index 153a4c3432..ed9335b6d6 100755
--- a/install_puppet.sh
+++ b/install_puppet.sh
@@ -20,9 +20,9 @@
 EZ_SETUP_URL=https://bitbucket.org/pypa/setuptools/raw/bootstrap/ez_setup.py
 PIP_GET_PIP_URL=https://raw.github.com/pypa/pip/master/contrib/get-pip.py
 
-curl -O $EZ_SETUP_URL
+curl -O $EZ_SETUP_URL || wget $EZ_SETUP_URL
 python ez_setup.py
-curl -O $PIP_GET_PIP_URL
+curl -O $PIP_GET_PIP_URL || wget $PIP_GET_PIP_URL
 python get-pip.py
 
 # Install puppet version 2.7.x from puppetlabs.