make CURL_USER_AGENT overrideable

- e.g. by travis-ci running
dlang · May 15, 2016 · 55ea050 · 55ea050
1 parent 9beade8
commit 55ea050
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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
 }