Bash: doc prompt.