Isn't this achievable with PS0 and Bash-5.3 valsub?
_prompt_time() {
if [[ $_prompt_time_start ]]; then
_prompt_time=$((${EPOCHREALTIME//[!0-9]}-_prompt_time_start))
_prompt_time_start=
fi
printf -v REPLY '%d.%06d' "$((_prompt_time/1000000))"
"$((_prompt_time%1000000))"
}
PS0+='${| _prompt_time_start=${EPOCHREALTIME//[!0-9]}; }'
PS1='${| _prompt_time; }\$ '
If you want the CPU times for sys/usr, you can call the `times'
builtin instead of referencing EPOCHREALTIME. If you want to exclude
the time of PROMPT_COMMAND, you can update the variable `_prompt_time'
at the beginning of `PROMPT_COMMAND[0]'.
--
Koichi
