Project

General

Profile

« Previous | Next » 

Revision 9179

lib/sh/util.sh: $log_level_indent: changed to a single space rather than two, to avoid very deep indents as the call tree becomes more deeply nested. due to the + at the beginning of every line, a single space is enough to visualize the structure of the call tree (unlike source code, which requires more whitespace because it doesn't have a call tree structure).

View differences:

util.sh
156 156
: "${verbosity:=0}" # ensure non-empty
157 157
export verbosity # propagate to invoked commands
158 158

  
159
: "${log_level_indent=  }" "${log_indent=}"
159
: "${log_level_indent= }" "${log_indent=}"
160 160
export log_level_indent log_indent # propagate to invoked commands
161 161
alias indent='declare log_indent="$log_indent$log_level_indent"'
162 162

  

Also available in: Unified diff