Project

General

Profile

« Previous | Next » 

Revision 9397

lib/sh/util.sh: logging: added verbosity_min()

View differences:

lib/sh/util.sh
247 247
alias log++='log_local; "log++" ' # last space alias-expands next word
248 248
alias log--='log_local; "log--" ' # last space alias-expands next word
249 249

  
250
verbosity_min() # usage: verbosity_min min
251
{ if test "$(verbosity_int)" -lt "$1"; then verbosity="$1"; fi; }
252
alias verbosity_min='log_local; "verbosity_min"'
250 253

  
254

  
251 255
# indent for call tree. this is *not* the log_level (below).
252 256
: "${log_indent_step=| }" "${log_indent=}"
253 257
export log_indent_step log_indent # propagate to invoked commands

Also available in: Unified diff