diff options
author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2024-04-13 12:37:41 +0200 |
---|---|---|
committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2024-04-13 12:44:13 +0200 |
commit | d1527470d38cfbd439c4da83c73ef68b02e9de9a (patch) | |
tree | 7d131bf5985251f7e82f050e0feb6c23227bab05 /Makefile | |
parent | 90d0d66c5e4a0108b0a90f90d66a712b66527c27 (diff) | |
download | Nix-d1527470d38cfbd439c4da83c73ef68b02e9de9a.tar.gz Nix-d1527470d38cfbd439c4da83c73ef68b02e9de9a.tar.zst Nix-d1527470d38cfbd439c4da83c73ef68b02e9de9a.zip |
Use new synapse host
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -66,6 +66,7 @@ ssh: | |||
66 | ssh-zoldene-decrypt: | 66 | ssh-zoldene-decrypt: |
67 | $(MAKE) ssh-decrypt TARGET=$(@:ssh-%-decrypt=%) | 67 | $(MAKE) ssh-decrypt TARGET=$(@:ssh-%-decrypt=%) |
68 | ssh-decrypt: | 68 | ssh-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)) |