shorter Bash prompt; I know who I am, even on different machines