Revision 12808
Added by Aaron Marcuse-Kubitza almost 11 years ago
| trunk/lib/sh/util.sh | ||
|---|---|---|
| 499 | 499 |
log_custom() # usage: symbol=... log_custom msg |
| 500 | 500 |
{ log_indent="${log_indent//[^ ]/$symbol}" PS4="${PS4//[^ ]/$symbol}" log "$@";}
|
| 501 | 501 |
|
| 502 |
log_err() { symbol='#' log_fd="$err_fd" clog! log_custom "$@"; }
|
|
| 502 |
log_err() { symbol='#' format=7 log_fd="$err_fd" clog! log_custom " $1 "; }
|
|
| 503 | 503 |
|
| 504 | 504 |
log_info() { symbol=: log_custom "$@"; }
|
| 505 | 505 |
|
| ... | ... | |
| 1035 | 1035 |
already_exists_msg() # usage: cond || what=... already_exists_msg || return 0 |
| 1036 | 1036 |
{
|
| 1037 | 1037 |
type=info die "$what"' already exists, skipping |
| 1038 |
[7m to force-remake, prepend `rm=1` to the command [0m' |
|
| 1038 |
[0;7m to force-remake, prepend `rm=1` to the command [0m'
|
|
| 1039 | 1039 |
} |
| 1040 | 1040 |
|
| 1041 | 1041 |
require_not_exists() # usage: require_not_exists file || return 0 |
Also available in: Unified diff
lib/sh/util.sh: log_err(): highlight all error messages using highlight_msg()'s new $format