bash: $TIMER_START: ambiguous redirect

[kiwi4boy]

Code of Conduct

• I agree to follow this project's Code of Conduct

What happened?

I got the following error whenever I was launching a command in my shell:

bash: $TIMER_START: ambiguous redirect

Note that my $HOME and $USER has spacing in it.

I noticed the following line in src/init/omp.bash:

PS0='$(::OMP:: --millis > $TIMER_START)'

The error went away when I added quotes in my ~/.bashrc:

export PS0='$(::OMP:: --millis > "$TIMER_START")'

So would you like to add quotes for me?

Thanks

Version

3.175.0

Theme

jandedobbeleer.omp.json

What OS are you seeing the problem on?

Windows

Which shell are you using?

bash

Relevant log output

No response

[github-actions]

This issue has been automatically locked since there has not been any recent activity (i.e. last half year) after it was closed. It helps our maintainers focus on the active issues.
If you have found a problem that seems similar, please open a discussion first, complete the body with all the details necessary to reproduce, and mention this issue as reference.