まじかんと雑記

結局その 105 で色色言っていた pushd_ignore_dups とか pushd_to_home などのオプションは pushd を適当な関数で置き換えれば実現できるということで、シェル本体の機能としては組み込まないことにした。