From 8cac7b026f77dc36d1d9c734fd9bb826bfb57fb1 Mon Sep 17 00:00:00 2001
From: Michael Grote <michael.grote@posteo.de>
Date: Fri, 24 Nov 2023 12:11:39 +0100
Subject: [PATCH] fix? check

---
 app.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app.sh b/app.sh
index ee838dd..7536c56 100644
--- a/app.sh
+++ b/app.sh
@@ -67,7 +67,7 @@ while true ; do
       exit 2
     fi
     # check if target is reachable
-    if ping -c1 -W1 "${FQDN}" > /dev/null; then
+    if ssh -q -i "$SSH_KEY_PATH" -o StrictHostKeyChecking=no -o BatchMode=yes -o ConnectTimeout=5 "${USERNAME}@${FQDN}" ; then
       echo "[INFO] export $FQDN config..."
       ssh -n -o StrictHostKeyChecking=no -i "$SSH_KEY_PATH" "${USERNAME}@${FQDN}" "/export show-sensitive" > "config_${FQDN}.rsc" 2> /dev/null
       # entferne Datumszeile