distro specific fixes

[distro-setup] / brc

diff --git a/brc b/brc
index d359f6535415300e9fe9746514261b2d95150645..222e0f85c5c908c5507ad3dfdc1c0791275e9252 100644 (file)
--- a/brc
+++ b/brc
@@ -3377,7 +3377,8 @@ if [[ $- == *i* ]]; then
     # titelbar below
     #echo -ne "$_title_escape $HOSTNAME ${PWD/#$HOME/~}  \007"
 
-    if [[ $KONSOLE_VERSION ]]; then
+    # version 211203 does not have this feature.
+    if [[ $KONSOLE_VERSION && $KONSOLE_VERSION == [3456789]* || $KONSOLE_VERSION == 2[2456789]* ]]; then
       # from konsole, output via ctrl-alt-]
       if [[ ! $PS1 =~ 133 ]] ; then
         PS1='\[\e]133;L\a\]\[\e]133;D;$?\]\[\e]133;A\a\]'$PS1'\[\e]133;B\a\]' ;