Do not fetch puppet deb over http, instead do as seen in eduID

This commit is contained in:
John Van de Meulebrouck Brendgard 2016-08-27 23:51:58 +02:00
parent c048945151
commit 2e2cc75029
No known key found for this signature in database
GPG key ID: 807A5FD4B3337B77

View file

@ -9,9 +9,13 @@ stamp="$COSMOS_BASE/stamps/puppet-tools-v01.stamp"
if ! test -f $stamp -a -f /usr/bin/puppet; then
codename=`lsb_release -c| awk '{print $2}'`
wget -c http://apt.puppetlabs.com/puppetlabs-release-${codename}.deb
dpkg -i puppetlabs-release-${codename}.deb
rm -f puppetlabs-release-${codename}.deb*
puppetdeb="$COSMOS_REPO/apt/puppetlabs-release-${codename}.deb"
if [ ! -f $puppetdeb ]; then
echo "$0: Puppet deb for release $codename not found in $COSMOS_REPO/apt/"
echo " Get it from https://apt.puppetlabs.com/ and put it in the Cosmos repo."
exit 1
fi
dpkg -i $puppetdeb
apt-get update
apt-get -y install puppet-common