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

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