Bash: use ascii prompt symbol if we're not in a pseudoterminal.