- # set proxy for those who need
- test -n "${http_proxy}" && proxy="$(echo $http_proxy |sed -e 's,http://,-Dhttp.proxyHost=,' -e 's/:/ -Dhttp.proxyPort=/' -e 's:/$::')"
- test -n "${https_proxy}" && proxy="$proxy $(echo $https_proxy |sed -e 's,http://,-Dhttps.proxyHost=,' -e 's/:/ -Dhttps.proxyPort=/' -e 's:/$::')"
+ # set proxy if needed
+ if [[ -v http_proxy && ! -z "$http_proxy" ]]; then
+ proxy_to_parse="${http_proxy/http:\/\//""}";
+ echo "http_proxy is set to \"${proxy_to_parse}\"";
+ elif [[ -v https_proxy && ! -z "$https_proxy" ]]; then
+ proxy_to_parse="${https_proxy/https:\/\//""}";
+ echo "https_proxy is set to \"${proxy_to_parse}\"";
+ fi
+
+ if [[ $proxy_to_parse =~ ^([\.0-9]+) ]]; then
+ java_options=" -Dhttp.proxyHost=${BASH_REMATCH[1]}"
+ echo "${java_options}"
+ fi
+ if [[ $proxy_to_parse =~ .*:([0-9]+) ]]; then
+ java_options="${java_options} -Dhttps.proxyPort=${BASH_REMATCH[1]}"
+ echo "${java_options}"
+ fi