diff options
| author | Tony Sarajärvi <tony.sarajarvi@qt.io> | 2018-04-11 09:13:53 +0300 |
|---|---|---|
| committer | Liang Qi <liang.qi@qt.io> | 2018-04-29 13:20:29 +0000 |
| commit | 9bf79e6bab6a49622e754b25b01bd24974bd23c7 (patch) | |
| tree | f1761d820fe67681ea4bebc8852ba992d91e16aa /coin/provisioning/common/unix/check_and_set_proxy.sh | |
| parent | 1125bbae42cbda0accd10c2f16acf73078a75173 (diff) | |
Fix shellcheck complaints in provisioning scripts
Change-Id: I38306c6d2ff360dc12f8c33b289bbc4ae4935aca
Reviewed-by: Joni Jäntti <joni.jantti@qt.io>
Reviewed-by: Simo Fält <simo.falt@qt.io>
Diffstat (limited to 'coin/provisioning/common/unix/check_and_set_proxy.sh')
| -rwxr-xr-x | coin/provisioning/common/unix/check_and_set_proxy.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coin/provisioning/common/unix/check_and_set_proxy.sh b/coin/provisioning/common/unix/check_and_set_proxy.sh index 1cbee166..3e55b09f 100755 --- a/coin/provisioning/common/unix/check_and_set_proxy.sh +++ b/coin/provisioning/common/unix/check_and_set_proxy.sh @@ -34,6 +34,7 @@ set -ex +# shellcheck source=../shared/http_proxy.txt 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" |