bash_dbg.sh

bash_dbg.sh

#!/bin/bash
file_log=`mktemp`
file_tim=`mktemp`
cleanup_tracing_files() {
	rm -f $file_log $file_tim
	unset file_log file_tim crt last
}
trap cleanup_tracing_files EXIT

exec 3>&2 2> >(
	tee $file_log |
	sed -u 's/^.*$/now/' |
	date -f - +%s.%N >$file_tim
)
set -x

#source "$@"
bash -x "$@"

set +x
exec 2>&3 3>&-

paste <(
	last=0
	while read tim ;do
		[[ -z "$first" ]] && first=${tim//.}
		crt=000000000$((${tim//.}-10#0$last))
		printf "%12.9f\n" ${crt:0:${#crt}-9}.${crt:${#crt}-9}
		last=${tim//.}
	done < $file_tim
	crt=000000000$(($last-10#0$first))
	echo
	printf "Total: %12.9f\n" ${crt:0:${#crt}-9}.${crt:${#crt}-9}
) $file_log

cleanup_tracing_files