2008-11-04 pushdとpopd Linux こんなコマンドがあることを知らなかった。http://www.atmarkit.co.jp/flinux/rensai/linuxtips/012easycd.html