From dd285a1f9efad46fc164f7398d52cc5d63bcebd2 Mon Sep 17 00:00:00 2001
From: Romain Hunault <romain.hunault@eelo.io>
Date: Thu, 10 Oct 2019 16:52:38 +0200
Subject: [PATCH] Remove ping

---
 get-androidfilehost.sh | 2 +-
 get-from-ecloud.sh     | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/get-androidfilehost.sh b/get-androidfilehost.sh
index 4f54b16..237b0a7 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 75644bf..514e432 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
-- 
GitLab