Update 2013-12-11-bash-options.md