Project

General

Profile

« Previous | Next » 

Revision 9120

lib/sh/util.sh: logging: visually separate the log_level-based indenting from the external command indenting by using the standard `set -x` prefix (1st char of PS4) for log_level indenting and $log_level_indent (i.e. whitespace) for external command indenting

  • added
  • modified
  • copied
  • renamed
  • deleted