Revision 9241
Added by Aaron Marcuse-Kubitza over 11 years ago
| lib/sh/util.sh | ||
|---|---|---|
| 197 | 197 |
# usage: symbol=... log_custom msg |
| 198 | 198 |
log_custom() |
| 199 | 199 |
{
|
| 200 |
local log_indent="${log_indent//[^ ]/$symbol}" PS4="$symbol${PS4#?}"
|
|
| 200 |
local log_indent="${log_indent//[^ ]/$symbol}" PS4="${PS4//[^ ]/$symbol}"
|
|
| 201 | 201 |
log "$@" |
| 202 | 202 |
} |
| 203 | 203 |
|
Also available in: Unified diff
lib/sh/util.sh: log_custom(): replace all non-whitespace chars in PS4 with $symbol instead of just the first one, so there aren't mixed $symbols and PS4 chars