Revision 12723
Added by Aaron Marcuse-Kubitza almost 11 years ago
| trunk/lib/sh/util.sh | ||
|---|---|---|
| 479 | 479 |
log_custom() # usage: symbol=... log_custom msg |
| 480 | 480 |
{ log_indent="${log_indent//[^ ]/$symbol}" PS4="${PS4//[^ ]/$symbol}" log "$@";}
|
| 481 | 481 |
|
| 482 |
log_err() { symbol='#' verbosity=1 log_fd="$err_fd" log_custom "$@"; }
|
|
| 482 |
log_err() { symbol='#' log_fd="$err_fd" clog! log_custom "$@"; }
|
|
| 483 | 483 |
|
| 484 | 484 |
log_info() { symbol=: log_custom "$@"; }
|
| 485 | 485 |
|
Also available in: Unified diff
bugfix: lib/sh/util.sh: log_err(): don't override verbosity manually, as this will not set log_level or PS4. instead, use new log! , which sets these correctly.