tips for zsh -- zshの覚書 (2)駆使している人は多くないだろうけど、大概のシェルには pushd と popd がある。 pushd でディレクトリスタックにカレントディレクトリを入れて移動、 popd でディレクトリスタックの最上位のディレクトリを pop してそのディレクトリに移動してくれる。 しかし、 pushd なんてコマンド覚えにくいし、打ちにくい。もちろんエイリアスをしてもよいが、いちいちディレクトリスタックを表示してくれちゃうのもうざったい。そこで zsh の場合、 setopt AUTO_PUSHD とオプションを設定してやれば、普通にcdするときにもディレクトリスタックにそのディレクトリを入れることができる。あとpopdも打ちにくいので、pdとかエイリアスをあてとくと楽になる。 ディレクトリスタックの最上位を使うのも便利だが、途中のも掘り出したいなんて場合があると思う。そんな時には次のように、
