summaryrefslogtreecommitdiffstats
path: root/krebs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-02-02 03:57:32 +0100
committertv <tv@krebsco.de>2016-02-02 03:57:32 +0100
commit74120066f0387339bc4b3c02b30ed303a90de5da (patch)
treeec49aeffe8d0fa102d1803f7a66dc6f0a9f788a5 /krebs
parent942511acb1ca0d3c6ef1e59694e888c7d4665aee (diff)
krebs/v2: simplify verbose
Diffstat (limited to 'krebs')
-rw-r--r--krebs/v2/default.nix9
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() {(