scripts/fetch in rvm-0.1.11 vs scripts/fetch in rvm-0.1.12

@@ -14,9 +14,11 @@
 }
 
 if ! which curl &> /dev/null; then
   $rvm_scripts_path/log "fail" "rvm requires curl, which does not seem to exist in your path :("
   exit 1
+elif [[ ! -z ${rvm_proxy} ]] ; then
+  fetch_command="curl -x${rvm_proxy} -O -L --create-dirs -C - " # -s for silent
 else
   fetch_command="curl -O -L --create-dirs -C - " # -s for silent
 fi
 
 builtin cd "$rvm_archives_path"