diff options
author | Erich Eckner <git@eckner.net> | 2019-03-29 11:37:06 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-03-29 11:37:06 +0100 |
commit | 3f5cd732d6997fea8d77c169e2f256ea3af44064 (patch) | |
tree | ae656e28b73dd787e1fb47e0388ae43b5012c107 | |
parent | 87e2e70f353031f2ba7ab10713c1427ab08817ea (diff) | |
download | hardlinkedBackups-3f5cd732d6997fea8d77c169e2f256ea3af44064.tar.xz |
backup.in: translate ssh host to fqdn or whatever before pinging it
-rwxr-xr-x | backup.in | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -155,13 +155,13 @@ fi echo $$ > "${pidFile}" if [ -n "${QuellIP}" ]; then - if ! ping -c1 ${QuellIP} >/dev/null; then + if ! ping -c1 "$(extract_ssh_host "${QuellIP}")" >/dev/null; then rm "${pidFile}" exit 11 fi fi if [ -n "${HoppIP}" ]; then - if ! ping -c1 ${HoppIP} >/dev/null; then + if ! ping -c1 "$(extract_ssh_host "${HoppIP}")" >/dev/null; then rm "${pidFile}" exit 11 fi |