X-Git-Url: https://git.immae.eu/?p=perso%2FImmae%2FConfig%2FNix.git;a=blobdiff_plain;f=Makefile;h=466b63a7d045ebc1d7de27214eb4f2e3972ef2e4;hp=d9c1892735ac6bd5ff7831b2297454b4a6361e90;hb=HEAD;hpb=877f7bf7a17f44bd17dd1f0bbfd88abdab67ad72

diff --git a/Makefile b/Makefile
index d9c1892..d4b4154 100644
--- a/Makefile
+++ b/Makefile
@@ -66,6 +66,7 @@ ssh:
 ssh-zoldene-decrypt:
 	$(MAKE) ssh-decrypt TARGET=$(@:ssh-%-decrypt=%)
 ssh-decrypt:
+	until ping -c1 $(TARGET); do :; done
 	./scripts/with_env bash -c 'ssh -p 2222 -i $$SSH_IDENTITY_FILE root@$(TARGET) $(SSH_ARGS)'
 
 .PHONY: debug $(addprefix debug-,$(nodes))