diff options
Diffstat (limited to 'coin/provisioning/common/unix/check_and_set_proxy.sh')
| -rwxr-xr-x | coin/provisioning/common/unix/check_and_set_proxy.sh | 17 |
1 files changed, 3 insertions, 14 deletions
diff --git a/coin/provisioning/common/unix/check_and_set_proxy.sh b/coin/provisioning/common/unix/check_and_set_proxy.sh index c39c7d4b..1cbee166 100755 --- a/coin/provisioning/common/unix/check_and_set_proxy.sh +++ b/coin/provisioning/common/unix/check_and_set_proxy.sh @@ -32,19 +32,8 @@ ## ############################################################################# -source "${BASH_SOURCE%/*}/try_catch.sh" -source "${BASH_SOURCE%/*}/../shared/http_proxy.txt" - -try -( - wget -q -e "http_proxy=$proxy" --spider proxy.intra.qt.io -) +set -ex -if [ $? -eq 0 ]; then - echo "Setting http_proxy to $proxy" - export http_proxy=$proxy - -else - echo "Proxy not detected at $proxy" -fi +source "${BASH_SOURCE%/*}/../shared/http_proxy.txt" +(wget -q -e "http_proxy=$proxy" --spider proxy.intra.qt.io && echo "Setting http_proxy to $proxy" && export http_proxy=$proxy) || echo "Proxy not detected at $proxy" |