Update 2013-10-30-history-commands-in-bash-and-ksh.md