#!/bin/bash


#
# defaults to be overriden in host/hostname.bashrc and user/username.bashrc
#

make_ps1u() {
    echo "";
}

make_ps1h() {
    echo "$blue\h$normal";
}