diff options
| author | tv <tv@krebsco.de> | 2016-02-13 16:03:40 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-02-13 16:03:40 +0100 |
| commit | 411aec6bf9d1b53813e693f22b77972a00ce9078 (patch) | |
| tree | c85a6b8f31184b04c31f149cbc6c28d811fe882c /krebs | |
| parent | 45bd2ca7a2055e6d3f6e3d70edbbc9bebd9cbc40 (diff) | |
deploy,install,populate: admit target SSH port
Diffstat (limited to 'krebs')
| -rw-r--r-- | krebs/3modules/build.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/krebs/3modules/build.nix b/krebs/3modules/build.nix index 3530fd595..1569072d1 100644 --- a/krebs/3modules/build.nix +++ b/krebs/3modules/build.nix @@ -51,6 +51,7 @@ let source = config.krebs.build.source; target-user = maybeEnv "target_user" "root"; target-host = maybeEnv "target_host" config.krebs.build.host.name; + target-port = maybeEnv "target_port" "22"; target-path = maybeEnv "target_path" "/var/src"; out = '' #! /bin/sh @@ -62,7 +63,8 @@ let } echo ${shell.escape git-script} \ - | ssh ${shell.escape "${target-user}@${target-host}"} -T + | ssh -p ${shell.escape target-port} \ + ${shell.escape "${target-user}@${target-host}"} -T unset tmpdir trap ' @@ -93,6 +95,7 @@ let (attrNames file-specs)} \ --delete \ -vFrlptD \ + -e ${shell.escape "ssh -p ${target-port}"} \ ${shell.escape target-path}/ \ ${shell.escape "${target-user}@${target-host}:${target-path}"} ''; |