Bash: add server name to prompt