diff options
author | lassulus <lass@aidsballs.de> | 2016-05-09 11:26:04 +0200 |
---|---|---|
committer | lassulus <lass@aidsballs.de> | 2016-05-09 11:26:04 +0200 |
commit | fb87c76112b1c4c8d48de8df78b5f46f2b750bdf (patch) | |
tree | dd1a364c92ae5183a2a6abf3dcd23f46af0b3bdd /krebs | |
parent | 640886ed7f2ffd932948b74edd388ace7a4efe66 (diff) | |
parent | 9b0edc2ee8c7158ba0c78d73950f22b8b186de75 (diff) |
Merge remote-tracking branch 'cd/master'
Diffstat (limited to 'krebs')
-rw-r--r-- | krebs/3modules/build.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/krebs/3modules/build.nix b/krebs/3modules/build.nix index d4c6b08df..9cd095622 100644 --- a/krebs/3modules/build.nix +++ b/krebs/3modules/build.nix @@ -88,6 +88,8 @@ let #! /bin/sh set -efu + export SSL_CERT_FILE=/etc/ssl/certs/ca-certificates.crt + verbose() { printf '%s%s\n' "$PS5$(printf ' %q' "$@")" >&2 "$@" |