fix(bash): remove leading space

relates to #953
This commit is contained in:
Jan De Dobbeleer 2021-09-14 19:54:09 +02:00
parent a549cc87c6
commit 86b3e1cc62
No known key found for this signature in database
GPG key ID: F6CC273CE5BA9AEE

View file

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