We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent dfba668 commit e91bb65Copy full SHA for e91bb65
os-java-run/added/proxy-options
@@ -42,7 +42,10 @@ proxy_options() {
42
43
local noProxy="${no_proxy:-${NO_PROXY}}"
44
if [ -n "$noProxy" ] ; then
45
- ret="$ret -Dhttp.nonProxyHosts=\"$(echo $noProxy | sed -e 's+,+|+g')\""
+ noProxy="${noProxy//,/|}" # replace separator
46
+ noProxy="${noProxy//|./|*.}" # replace domain with leading . with *.
47
+ noProxy="${noProxy/#./*.}" # same as previous, but first domain in list (i.e. no preceding separator)
48
+ ret="$ret -Dhttp.nonProxyHosts=\"$noProxy\""
49
fi
50
echo "$ret"
51
}
0 commit comments