Project

General

Profile

« Previous | Next » 

Revision 12844

bugfix: lib/sh/util.sh: log_hint!(): use log_err instead of log_info because hints as used here are attached to (possibly benign) errors. for other uses, use mk_hint().

View differences:

trunk/lib/sh/util.sh
535 535

  
536 536
mk_hint() { format=7 highlight_msg "$@";}
537 537

  
538
log_hint!() { log_info "$(mk_hint "$@")"; }
538
log_hint!() { log_err "$(mk_hint "$@")"; }
539 539

  
540 540
log_hint() # usage: cmd || [benign_error=1] log_hint msg [|| handle error]
541 541
# msg only displayed if not benign error

Also available in: Unified diff