Use `\$` to let _Bash_ choose the mark, move `PS1=` outside the `case` statement. #TODO: last command status?