Server name on bash prompt when not local.