|
From: | Douglas Lewan |
Subject: | Re: pushd doesn't play nicely with spaces |
Date: | Tue, 24 Jan 2023 17:06:42 -0500 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.0 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |