bash pre/post exec hooks

pre-post-exec.sh

# Some placeholders	
typeset -i _BASHEXEC_PREEXECTIME=0
typeset    _BASHEXEC_PREEXECCMD=""

function bashexec_post {
	# Don't display anything if we didn't ran anything
	if [[ -n "$_BASHEXEC_PREEXECCMD" ]]; then
		echo "Took $((${SECONDS:-$(date +%s)} - $_BASHEXEC_PREEXECTIME ))s to run '$_BASHEXEC_PREEXECCMD'"
	fi
	# Reset the commands
	_BASHEXEC_PREEXECCMD=""
}

function bashexec_pre {
	# Skip the prompt_command itself
	[[ "${BASH_COMMAND%% *}" == "${PROMPT_COMMAND%% *}" ]] && return
	# Register the start-time + command (called once for each piped command)
	_BASHEXEC_PREEXECTIME="${SECONDS:-$(date +%s)}"
	_BASHEXEC_PREEXECCMD+="${_BASHEXEC_PREEXECCMD:+ | }$BASH_COMMAND"
}

PROMPT_COMMAND='bashexec_post $?'
trap 'bashexec_pre' DEBUG