Use shorter $PWD title info in some dirs

dotfiles/bash/post.bashrc

@@ -83,17 +83,32 @@ __bashum__set_title() {
             ;;
         "")
             echo -ne "\033]0;$(__bashum__mkicon) "
-            echo -n    "$(__bashum__lastrv)$(__bashum__mkhostid)${PWD/$HOME/\~}\$"
+            echo -n    "$(__bashum__lastrv)$(__bashum__mkhostid)$(__bashum__wdir normal)\$"
             echo -ne "\007"
             ;;
         *)
             echo -ne "\033]0;$(__bashum__mkicon) "
-            echo -n    "${BASH_COMMAND} ($(__bashum__mkhostid)${PWD/$HOME/\~})"
+            echo -n    "${BASH_COMMAND} ($(__bashum__mkhostid)$(__bashum__wdir normal))"
             echo -ne "\007"
             ;;
     esac
 }
 
+__bashum__wdir() {
+    #
+    # Create abbreviated form of workdir
+    #
+    local mode=${1:-normal}
+    case $mode:$PWD in
+        normal:*)               echo "${PWD/$HOME/\~}" ;;
+        short:$HOME)            echo "~" ;;
+        short:$HOME/??????????) echo "${PWD/$HOME/\~}" ;;
+        short:$HOME/*/*)        echo "…${PWD##*/}" ;;
+        short:$HOME/*)          echo "${PWD/$HOME/\~}" ;;
+        short:*)                echo "$PWD" ;;
+    esac
+}
+
 #shellcheck disable=SC2016
 __bashum__mkpc() {
     #
@@ -106,7 +121,7 @@ __bashum__mkpc() {
             echo -n   "$(__bashum__mkicon) "
             echo -n   '$(__bashum__lastrv)'
             echo -n   "$(__bashum__mkhostid)"
-            echo -n   '${PWD/$HOME/\~}'
+            echo -n   '$(__bashum__wdir short)'
             echo -n   '\$'
             echo -n '\007"'
             ;;