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