function user_at_host() {
local str
if [[ "$USER" != "bjeanes" ]]; then
str="$USER"
if [[ "$USER" == "root" ]]; then
str="$pr_red$str$pr_reset"
fi
str="${str}@"
if [[ -n "$SSH_TTY" ]]; then
str="$str$pr_blue`hostname -s`$pr_reset"
echo $str
}