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
This commit is contained in:
Jeremy Stanley 2014-01-30 21:26:45 +00:00
parent 34c31c2202
commit 58d13a1a67
1 changed files with 2 additions and 2 deletions

View File

@ -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.