help-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

pushd doesn't play nicely with spaces


From: Douglas Lewan
Subject: pushd doesn't play nicely with spaces
Date: Sat, 21 Jan 2023 06:24:10 -0500
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.0

The bash built-in pushd doesn't seem to be able to handle spaces well in directory names. It goes into an infinite loop with lots of errors. (Perhaps not infinite, but I'm never patient enough to wait.)

A common circumstance is when I receive archives from my friends who use Windows. Such archives very often have New Folder as the top folder, and pushd never handles that nicely.

What can I do to avoid this? Killing the shell loses command and directory history, which renders both bash and pushd useless.

Thanks.

--
,Doug

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]