Feat(screen): Use `shelltitle` trick in `.screenrc`

[dotfiles.git] / admin / prog / bash_prompt

diff --git a/admin/prog/bash_prompt b/admin/prog/bash_prompt
index f3575b397e4d6806f7e96f89d64dc03358dd4257..f37966892fa5eed9dc1e3b8d2b03482b0a4b8827 100644 (file)
--- a/admin/prog/bash_prompt
+++ b/admin/prog/bash_prompt
@@ -116,6 +116,8 @@ set_prompts() {
          OPS1+="\$(prompt_git)"
       fi
    fi
-   OPS1+=" \\$\$SHLVL "
+   # This is for .screenrc: shelltitle "\$ |$SHELL"
+   #OPS1+="\[\033k\033\\\\\]"
+   OPS1+=" \$SHLVL\\$ "
    export OPS1
 }