fix(bash): quote the timer path

resolves #914
This commit is contained in:
Jan De Dobbeleer 2021-09-01 13:05:13 +02:00 committed by Jan De Dobbeleer
parent ea40e82a39
commit e6bc625564

View file

@ -9,7 +9,7 @@ if [[ ! -d "/tmp" ]]; then
TIMER_START="${HOME}/.${USER}.start.$$"
fi
PS0='$(::OMP:: --millis > $TIMER_START)'
PS0='$(::OMP:: --millis > "$TIMER_START")'
function _omp_hook() {
local ret=$?