timestamp each line from stdin

ts

#!/bin/bash

DATECMD='gdate +%s%N'

process_stdout() {
  while read line; do
    echo -e `$DATECMD`"\t$line"
  done
}

process_stderr() {
  while read line; do
    echo -e `$DATECMD` 1>&2
  done
}

if (( $# == 0 )); then
  process_stdout
else
  exec 3>&1
  ( bash -c "$*" | process_stdout ) 2>&1 1>&3 | process_stderr
  exec 3>&-
fi