Be smarter about terminal title icon

First, I'm not sure where I took the former icon, but it does not work
out of the bos on Fedora, so I decided to use another one rather than
try to find out.

Also when a system is accessed via SSH, it will use different
(fa-server) icon.

dotfiles/bash/post.bashrc

@@ -82,12 +82,12 @@ __bashum__set_title() {
             # output them.
             ;;
         "")
-            echo -ne "\033]0; "
+            echo -ne "\033]0;$(__bashum__mkicon) "
             echo -n    "$(__bashum__lastrv)$(__bashum__mkhostid)${PWD/$HOME/\~}\$"
             echo -ne "\007"
             ;;
         *)
-            echo -ne "\033]0; "
+            echo -ne "\033]0;$(__bashum__mkicon) "
             echo -n    "${BASH_COMMAND} ($(__bashum__mkhostid)${PWD/$HOME/\~})"
             echo -ne "\007"
             ;;
@@ -103,7 +103,7 @@ __bashum__mkpc() {
     case "$TERM" in
         xterm*|rxvt*|screen*)
             echo -n 'echo -ne "\033]0;'
-            echo -n   ' '
+            echo -n   "$(__bashum__mkicon) "
             echo -n   '$(__bashum__lastrv)'
             echo -n   "$(__bashum__mkhostid)"
             echo -n   '${PWD/$HOME/\~}'
@@ -113,6 +113,13 @@ __bashum__mkpc() {
     esac
 }
 
+__bashum__mkicon() {
+    case "$SSH_CONNECTION" in
+        "") echo  ;;
+        *)  echo  ;;
+    esac
+}
+
 __bashum__mkhostid() {
     test -n "$SSH_CONNECTION" || return
     echo "${HOSTNAME%%.*}:"