From be6a6c5c6e35962fec9289d131bc456d9cd416c3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cyryl=20P=C5=82otnicki?= <cyplo@cyplo.net>
Date: Thu, 3 Nov 2016 21:18:13 +0100
Subject: [PATCH] Use previously detected curl to download RVM

---
 common/configure_fresh_system | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common/configure_fresh_system b/common/configure_fresh_system
index 2e896bc3..2b88fa04 100755
--- a/common/configure_fresh_system
+++ b/common/configure_fresh_system
@@ -124,7 +124,7 @@ if [[ -z $NORUBY ]]; then
     set -e
     $GPG --keyserver hkp://keys.gnupg.net --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3
     echo "Downloading RVM..."
-    curl -sSL https://get.rvm.io | bash
+    $CURL https://get.rvm.io | bash
     set +e
     echo "Sourcing RVM..."
     source /usr/local/rvm/scripts/rvm