Project

General

Profile

« Previous | Next » 

Revision 9250

lib/sh/util.sh: log_info(): changed symbol to : so that it blends in better with the | lines (looking like a dotted segment of the line), but still stands out (because of the dots)

View differences:

lib/sh/util.sh
200 200

  
201 201
log_err() { symbol=* verbosity=1 log_fd="$err_fd" log_custom "$@"; }
202 202

  
203
log_info() { symbol='#' log_custom "$@"; }
203
log_info() { symbol=: log_custom "$@"; }
204 204

  
205 205
# usage: cmd || { save_e; log_e; ...; rethrow; }
206 206
log_e() { log_err "command exited with error $e"; }

Also available in: Unified diff