feat(bash): execution time

This commit is contained in:
Jan De Dobbeleer 2021-03-02 20:37:31 +01:00 committed by Jan De Dobbeleer
parent 5bc4759309
commit b5af1ebd3b

View file

@ -1,9 +1,26 @@
export POSH_THEME=::CONFIG:: export POSH_THEME=::CONFIG::
TIMER_START="/tmp/${USER}.start.$$"
PS0='$(::OMP:: --millis > $TIMER_START)'
function _update_ps1() { function _update_ps1() {
PS1="$(::OMP:: --config $POSH_THEME --error $?)" omp_elapsed=-1
if [[ -f $TIMER_START ]]; then
omp_now=$(::OMP:: --millis)
omp_start_time=$(cat "$TIMER_START")
omp_elapsed=$(($omp_now-$omp_start_time))
rm $TIMER_START
fi
PS1="$(::OMP:: --config $POSH_THEME --error $? --execution-time $omp_elapsed)"
} }
if [ "$TERM" != "linux" ] && [ -x "$(command -v ::OMP::)" ]; then if [ "$TERM" != "linux" ] && [ -x "$(command -v ::OMP::)" ]; then
PROMPT_COMMAND="_update_ps1; $PROMPT_COMMAND" PROMPT_COMMAND="_update_ps1; $PROMPT_COMMAND"
fi fi
function runonexit() {
rm $TIMER_START
}
trap runonexit EXIT