Only print username on a remote (assume SSH) sessions

dotfiles/bash/post.bashrc

 make_ps1() {
     # these functions must be already defined by ~/.bash/user/*.bashrc
     # and ~/.bash/host/*.bashrc
-    local ps1u=$(make_ps1u)
+    test -n "$SSH_CONNECTION" && local ps1u=$(make_ps1u)
     local ps1h=$(make_ps1h)
     local ps1w="$lblue\w$normal";
     local ps1G='$(__git_ps1 "(%s)")';