diff --git a/get-androidfilehost.sh b/get-androidfilehost.sh index 4f54b16c06a4bcbbb35cd69a7dadaa5ef283f52d..237b0a7fd64fd8f976068ba55700d6759f220ead 100755 --- a/get-androidfilehost.sh +++ b/get-androidfilehost.sh @@ -49,7 +49,7 @@ function check_md5sum () { exit $? } -if ! ping -c 1 gitlab.e.foundation 2>&1 >/dev/null +if ! curl -s -IL https://gitlab.e.foundation | grep -q "^HTTP\/2 200" then exit 10 fi diff --git a/get-from-ecloud.sh b/get-from-ecloud.sh index 75644bf9b582af7a6ea30113236ce1cf80903add..514e43209a9108f274eb00bf61b432b3be9e1215 100755 --- a/get-from-ecloud.sh +++ b/get-from-ecloud.sh @@ -37,7 +37,8 @@ ARCHIVE_URL=$1 FOLDER=$2 -if ! ping -c 1 gitlab.e.foundation 2>&1 >/dev/null + +if ! curl -s -IL https://gitlab.e.foundation | grep -q "^HTTP\/2 200" then exit 10 fi