Revision 9250
Added by Aaron Marcuse-Kubitza over 11 years ago
lib/sh/util.sh | ||
---|---|---|
200 | 200 |
|
201 | 201 |
log_err() { symbol=* verbosity=1 log_fd="$err_fd" log_custom "$@"; } |
202 | 202 |
|
203 |
log_info() { symbol='#' log_custom "$@"; }
|
|
203 |
log_info() { symbol=: log_custom "$@"; }
|
|
204 | 204 |
|
205 | 205 |
# usage: cmd || { save_e; log_e; ...; rethrow; } |
206 | 206 |
log_e() { log_err "command exited with error $e"; } |
Also available in: Unified diff
lib/sh/util.sh: log_info(): changed symbol to : so that it blends in better with the | lines (looking like a dotted segment of the line), but still stands out (because of the dots)