aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorIsmaël Bouya <ismael.bouya@normalesup.org>2024-04-13 12:37:41 +0200
committerIsmaël Bouya <ismael.bouya@normalesup.org>2024-04-13 12:44:13 +0200
commitd1527470d38cfbd439c4da83c73ef68b02e9de9a (patch)
tree7d131bf5985251f7e82f050e0feb6c23227bab05 /Makefile
parent90d0d66c5e4a0108b0a90f90d66a712b66527c27 (diff)
downloadNix-d1527470d38cfbd439c4da83c73ef68b02e9de9a.tar.gz
Nix-d1527470d38cfbd439c4da83c73ef68b02e9de9a.tar.zst
Nix-d1527470d38cfbd439c4da83c73ef68b02e9de9a.zip
Use new synapse host
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index d9c1892..d4b4154 100644
--- a/Makefile
+++ b/Makefile
@@ -66,6 +66,7 @@ ssh:
66ssh-zoldene-decrypt: 66ssh-zoldene-decrypt:
67 $(MAKE) ssh-decrypt TARGET=$(@:ssh-%-decrypt=%) 67 $(MAKE) ssh-decrypt TARGET=$(@:ssh-%-decrypt=%)
68ssh-decrypt: 68ssh-decrypt:
69 until ping -c1 $(TARGET); do :; done
69 ./scripts/with_env bash -c 'ssh -p 2222 -i $$SSH_IDENTITY_FILE root@$(TARGET) $(SSH_ARGS)' 70 ./scripts/with_env bash -c 'ssh -p 2222 -i $$SSH_IDENTITY_FILE root@$(TARGET) $(SSH_ARGS)'
70 71
71.PHONY: debug $(addprefix debug-,$(nodes)) 72.PHONY: debug $(addprefix debug-,$(nodes))