Revision 9251
Added by Aaron Marcuse-Kubitza about 11 years ago
| lib/sh/util.sh | ||
|---|---|---|
| 198 | 198 |
log_custom() |
| 199 | 199 |
{ log_indent="${log_indent//[^ ]/$symbol}" PS4="${PS4//[^ ]/$symbol}" log "$@";}
|
| 200 | 200 |
|
| 201 |
log_err() { symbol=* verbosity=1 log_fd="$err_fd" log_custom "$@"; }
|
|
| 201 |
log_err() { symbol='#' verbosity=1 log_fd="$err_fd" log_custom "$@"; }
|
|
| 202 | 202 |
|
| 203 | 203 |
log_info() { symbol=: log_custom "$@"; }
|
| 204 | 204 |
|
Also available in: Unified diff
lib/sh/util.sh: log_err(): changed symbol to # instead of * so that it stands out better at the outmost indent level and doesn't blend in with the + that will be prefixing other messages