diff options
| author | tv <tv@krebsco.de> | 2016-02-02 03:57:32 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-02-02 03:57:32 +0100 |
| commit | 74120066f0387339bc4b3c02b30ed303a90de5da (patch) | |
| tree | ec49aeffe8d0fa102d1803f7a66dc6f0a9f788a5 /krebs/v2/default.nix | |
| parent | 942511acb1ca0d3c6ef1e59694e888c7d4665aee (diff) | |
krebs/v2: simplify verbose
Diffstat (limited to 'krebs/v2/default.nix')
| -rw-r--r-- | krebs/v2/default.nix | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/krebs/v2/default.nix b/krebs/v2/default.nix index ac1c13e72..cba7a75ff 100644 --- a/krebs/v2/default.nix +++ b/krebs/v2/default.nix @@ -15,9 +15,7 @@ let set -eu verbose() { - printf '+' >&2 - printf ' %q' "$@" >&2 - printf '\n' + printf '+%s\n' "$(printf ' %q' "$@")" >&2 "$@" } @@ -86,9 +84,8 @@ let set -efu verbose() { - printf '+' >&2 - printf ' %q' "$@" >&2 - printf '\n' + printf '+%s\n' "$(printf ' %q' "$@")" >&2 + "$@" } fetch_git() {( |