diff options
| author | lassulus <lass@aidsballs.de> | 2016-02-18 17:07:49 +0100 |
|---|---|---|
| committer | lassulus <lass@aidsballs.de> | 2016-02-18 17:07:49 +0100 |
| commit | 0f225385758ebb156d49d05f03fe76c15023e200 (patch) | |
| tree | 80a66df538e3c25f37cba726ef27669bbefdc18e /krebs/3modules/build.nix | |
| parent | e1a77d240eaedafbb58a387da94c863118533574 (diff) | |
| parent | ffc47bf80d521635021b3f7a0122092708ebd2bf (diff) | |
Merge remote-tracking branch 'cd/master'
Diffstat (limited to 'krebs/3modules/build.nix')
| -rw-r--r-- | krebs/3modules/build.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/krebs/3modules/build.nix b/krebs/3modules/build.nix index c700fbc56..b8ea34ae2 100644 --- a/krebs/3modules/build.nix +++ b/krebs/3modules/build.nix @@ -42,12 +42,13 @@ let set -eu verbose() { - printf '+%s\n' "$(printf ' %q' "$@")" >&2 + printf '%s%s\n' "$PS5$(printf ' %q' "$@")" >&2 "$@" } - echo ${shell.escape git-script} \ - | ssh -p ${shell.escape target-port} \ + { printf 'PS5=%q%q\n' @ "$PS5" + echo ${shell.escape git-script} + } | verbose ssh -p ${shell.escape target-port} \ ${shell.escape "${target-user}@${target-host}"} -T unset tmpdir @@ -86,7 +87,7 @@ let set -efu verbose() { - printf '+%s\n' "$(printf ' %q' "$@")" >&2 + printf '%s%s\n' "$PS5$(printf ' %q' "$@")" >&2 "$@" } |