diff --git a/bin/timer b/bin/timer new file mode 120000 index 0000000..07abf34 --- /dev/null +++ b/bin/timer @@ -0,0 +1 @@ +../reporting/timer \ No newline at end of file diff --git a/reporting/timer b/reporting/timer new file mode 100755 index 0000000..1d98271 --- /dev/null +++ b/reporting/timer @@ -0,0 +1,18 @@ +#!/bin/bash + +function displaytime { + local T=$1 + local D=$((T/60/60/24)) + local H=$((T/60/60%24)) + local M=$((T/60%60)) + local S=$((T%60)) + printf '\r%s[' $PREFIX + (( $D > 0 )) && printf '%dd ' $D + (( $T > 3599 )) && printf '%02d:' $H + printf '%02d:%02d]%s\r' $M $S $POSTFIX +} + +while true; do + displaytime "$SECONDS" >&2 + sleep 1 +done