From e6bc625564848e7ca267957524118f3b3211e9be Mon Sep 17 00:00:00 2001
From: Jan De Dobbeleer <jan.de.dobbeleer@gmail.com>
Date: Wed, 1 Sep 2021 13:05:13 +0200
Subject: [PATCH] fix(bash): quote the timer path

resolves #914
---
 src/init/omp.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/init/omp.bash b/src/init/omp.bash
index 691d982e..674c5f6f 100644
--- a/src/init/omp.bash
+++ b/src/init/omp.bash
@@ -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=$?