diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/xds-utils/get-xds-agent.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/xds-utils/get-xds-agent.sh b/scripts/xds-utils/get-xds-agent.sh index 0813875..0404dac 100755 --- a/scripts/xds-utils/get-xds-agent.sh +++ b/scripts/xds-utils/get-xds-agent.sh @@ -39,6 +39,13 @@ if [ ! -d ${DEST_DIR} ]; then exit 1 fi +# Fisrt check if we can access to iot.bzh (aka ovh.iot) +ping -c 1 -W 5 www.ovh.iot > /dev/null +if [ "$?" != "0" ]; then + echo "iot.bzh website not accessible !" + exit 1 +fi + # Get not existing tarballs exitCode=0 for file in $TARBALLS; do |