From 55ea050227b3c64b41a93150292f021f51a80fd8 Mon Sep 17 00:00:00 2001
From: Martin Nowak <code@dawg.eu>
Date: Sun, 1 May 2016 23:15:43 +0200
Subject: [PATCH] make CURL_USER_AGENT overrideable

- e.g. by travis-ci running
---
 script/install.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/script/install.sh b/script/install.sh
index 4c6e616d..57476df1 100755
--- a/script/install.sh
+++ b/script/install.sh
@@ -31,11 +31,11 @@ fatal() {
 }
 
 curl() {
-    : ${curl_user_agent:="installer/install.sh $(command curl --version | head -n 1)"}
+    : ${CURL_USER_AGENT:="installer/install.sh $(command curl --version | head -n 1)"}
     if [ "$verbosity" -gt 0 ]; then
-        command curl -f#L --retry 3 -A "${curl_user_agent}" "$@"
+        command curl -f#L --retry 3 -A "$CURL_USER_AGENT" "$@"
     else
-        command curl -fsSL --retry 3 -A "${curl_user_agent}" "$@"
+        command curl -fsSL --retry 3 -A "$CURL_USER_AGENT" "$@"
     fi
 }