http://bash-edit.com/how-do-i-get-user-input-in-bash