Re: pushd doesn't play nicely with spaces

[Douglas Lewan]

I'd like to thank you for looking at my little problem. Typically, when 
there's a bug, I assume that I'm at fault. Well, This time I'd forgotten 
that I'd manipulated PS1, indirectly modifying pushd. Things were poorly 
quoted. I've corrected the quoting, and everything looks fine now.

And, yes, I should have reported the version of bash: 5.1.4. However, 
since I'm the idiot here, I'm not sure that really matters.

--
,Doug

Never believe anything in politics until it has been officially denied. - Otto 
von Bismarck