X-Git-Url: https://git.immae.eu/?p=perso%2FImmae%2FConfig%2FNix.git;a=blobdiff_plain;f=Makefile;fp=Makefile;h=d4b41540bb297597492498ce77dab2b7d4af224f;hp=d9c1892735ac6bd5ff7831b2297454b4a6361e90;hb=d1527470d38cfbd439c4da83c73ef68b02e9de9a;hpb=90d0d66c5e4a0108b0a90f90d66a712b66527c27

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))