Skip to content

Instantly share code, notes, and snippets.

@sevaine
Created July 25, 2013 02:26

Revisions

  1. sevaine created this gist Jul 25, 2013.
    16 changes: 16 additions & 0 deletions gistfile1.txt
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,16 @@
    #!/bin/bash

    log() {
    local TIMESTAMP="[$(date)]"
    if $(echo "${1}" | grep ^WARNING 2>&1 >/dev/null); then
    echo "${TIMESTAMP}: $*" 1>&2
    elif $(echo "${1}" | grep ^FATAL 2<&1 >/dev/null); then
    echo "${TIMESTAMP}: $*" 1>&2
    exit 1
    else
    echo "${TIMESTAMP}: $*"
    fi
    }

    SCRIPT="${BASH_SOURCE[0]}"
    SCRIPT_DIR="$(cd $(dirname ${SCRIPT}) && pwd)"