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

diff --git a/Makefile b/Makefile
index d179acf..d4b4154 100644
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,9 @@ nur:
 	./scripts/make-nur
 	curl -o /dev/null -XPOST "https://nur-update.herokuapp.com/update?repo=immae"
 
+push_remote:
+	git push origin $$(stg id {base}):master
+
 shellcheck:
 	shellcheck scripts/* deploy/scripts/* modules/private/gitolite/gitolite_ldap_groups.sh modules/private/ssh/ldap_authorized_keys.sh modules/private/pub/restrict
 
@@ -63,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))