This page has moved to /blog/quick-tip-rerunning-bash-commands.