diff options
Diffstat (limited to 'packages/log.source.sh')
| -rw-r--r-- | packages/log.source.sh | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/packages/log.source.sh b/packages/log.source.sh deleted file mode 100644 index 2c6e1b3f..00000000 --- a/packages/log.source.sh +++ /dev/null @@ -1,29 +0,0 @@ -# Log a message. -log () { - local -r level="$1"; shift - - for message in "$@"; do - echo "$message" - done | log::_pipe "$level" -} - -# Log a stream through a pipe. -log::pipe () { - log::_pipe "$1" -} - -# Internal log implementation. -log::_pipe () { - local -r level="$1"; shift - - if [[ "$level" == VERBOSE && -z "$LOG_VERBOSE" ]]; then - return - fi - - local -r callee=${FUNCNAME[2]} - local -r stamp=$($DATE +%Y%m%d-%H%M%S) - - while read -r line; do - echo "$level|$stamp|$callee|$line" >&2 - done -} |
