ping
This commit is contained in:
parent
8a1c9e2210
commit
ceb7fe191e
@ -10,7 +10,7 @@
|
|||||||
derivationTarget,
|
derivationTarget,
|
||||||
altHostname,
|
altHostname,
|
||||||
}: ''
|
}: ''
|
||||||
if ping -c 1 ${altHostname}; then
|
if ${pkgs.inetutils}/bin/ping -c 1 ${altHostname}; then
|
||||||
${pkgs.deploy-rs}/bin/deploy \
|
${pkgs.deploy-rs}/bin/deploy \
|
||||||
--ssh-opts="-i ''${CREDENTIALS_DIRECTORY}/ssh-key" \
|
--ssh-opts="-i ''${CREDENTIALS_DIRECTORY}/ssh-key" \
|
||||||
--ssh-user=deployerbot-follower \
|
--ssh-user=deployerbot-follower \
|
||||||
|
Loading…
Reference in New Issue
Block a user