From 10495c2ce55284b85ee06ac678224b2300d4431c Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Sat, 16 Jan 2016 00:04:40 +0100
Subject: [PATCH] _build/generate-badge.sh: Use curl instead of wget

After playing around a little bit with a Ubuntu 12.04 LTS virtual machine, `curl` came in my mind... I've absolutetly no idea why `curl` works, but `wget` does not (it's an issue with OpenSSL and both use it the same way...), but anyway - it works
---
 _build/generate-badge.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_build/generate-badge.sh b/_build/generate-badge.sh
index 1656c97..5727e74 100755
--- a/_build/generate-badge.sh
+++ b/_build/generate-badge.sh
@@ -32,7 +32,7 @@ echo
 printf 'Downloading badge...\n'
 TMP_BADGE="$(mktemp -u)"
 
-wget -O "$TMP_BADGE" \
+curl --location --output "$TMP_BADGE" \
     "https://img.shields.io/badge/$BADGE_SUBJECT-$BADGE_STATUS-$BADGE_COLOR.svg"
 
 # validate badge