Add funny character to each terminal window title

dotfiles/bash/post.bashrc

             # output them.
             ;;
         "")
-            echo -ne "\033]0;"
+            echo -ne "\033]0; "
             echo -n    "$(__bashum__lastrv)$(__bashum__mkhostid)${PWD/$HOME/\~}\$"
             echo -ne "\007"
             ;;
         *)
-            echo -ne "\033]0;"
+            echo -ne "\033]0; "
             echo -n    "${BASH_COMMAND} ($(__bashum__mkhostid)${PWD/$HOME/\~})"
             echo -ne "\007"
             ;;
     case "$TERM" in
         xterm*|rxvt*|screen*)
             echo -n 'echo -ne "\033]0;'
+            echo -n   ' '
             echo -n   '$(__bashum__lastrv)'
             echo -n   "$(__bashum__mkhostid)"
             echo -n   '${PWD/$HOME/\~}'