Timestamp output

timestamp.sh

# Not originally created by me btw.
# Handy python timestamp trick
function p-timestamp() {
  python -c 'import sys,time;sys.stdout.write("".join\
    (( " ".join((time.strftime("[%Y-%m-%d %H:%M:%S]", time.localtime())\
    , line)) for line in sys.stdin )))'
}

## Custom echo that adds a timestamp
function echo() {
  echo $1 | p-timestamp
}