diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2021-01-04 18:31:29 (EST) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2021-01-04 18:49:54 (EST) |
| commit | 922282227ff8e300c0159e9f75c318d3991ac14d (patch) | |
| tree | 8233d1a34e280d5b2e7bf5fa177a92bae7f01f7f /src | |
| parent | 71b20cd9e1916aeaffd4cdf0d241e71ee7975094 (diff) | |
cmd/build: Also filter session ID in log
Diffstat (limited to 'src')
| -rw-r--r-- | src/cmd/build.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/cmd/build.sh b/src/cmd/build.sh index 6d72046..81e7343 100644 --- a/src/cmd/build.sh +++ b/src/cmd/build.sh @@ -129,7 +129,8 @@ _cmd_build_build() Distribution: ${dist} Build-Date: ${build_date} - Filter: Replacing "$(session_dir)" with "<<SESSIONDIR>>" + Filter: Replacing "$(session_dir)" with "<<SESSION_DIR>>" + Filter: Replacing "$(session_id)" with "<<SESSION_ID>>" EOF es=0 @@ -295,8 +296,10 @@ cmd_build_main() "${host_arch}" "${host_plat}" \ "${dist}" "${@}" 2>&1 printf '%d' ${?} 1>&3 - } | sed "/^Filter: /!s|$(session_dir)|<<SESSIONDIR>>|" \ - | tee "${log}" 1>&2 + } | sed "/^Filter: /!{ + s|$(session_dir)|<<SESSION_DIR>>|; + s|$(session_id)|<<SESSION_ID>>|; + };" | tee "${log}" 1>&2 } 3>&1 | { read es exit ${es} |