ブログ記事「All of bash history revisited」で説明されている機能を実装しようと試みています。基本的に、スクリプトでできることは、すべての bash 履歴を永久に、複数のセッションにわたって保持することです。
親切にも、Github ですべてのコードに簡単にアクセスできるようにしてくれました。
ただし、スペースを含むディレクトリを使用するときはいつでも:
cd ~/Desktop/
mkdir "dir with spaces"
cd dir\ with\ spaces/
次回ログインすると、次のようなエラーが表示されます。
-bash: pushd: /Users/jack/Desktop/dir: No such file or directory
-bash: pushd: with: No such file or directory
-bash: pushd: spaces: No such file or directory
私が理解した唯一の参照は、問題を引き起こしているようには見えませんでした:
# Now change to the new dir and add to the top of the stack
pushd "${the_new_dir}" > /dev/null
パッチを適用できるように、bash スクリプトの専門家がコードのエラーを指摘してくれることを願っています。