[Konsole-devel] [Bug 47684] wish - session names = current dir

[Richard Neill]

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
      
http://bugs.kde.org/show_bug.cgi?id=47684      




------- Additional Comments From kde at richardneill.org  2004-01-16 07:58 -------
I have the following in my bashrc:

if test "$DISPLAY"; then
        export PROMPT_COMMAND='echo -ne "\033]30;`basename $PWD`/ \007\033]31;\007"'
fi

This means that the session name will be  
    rjn/   
when I am in /home/rjn. I also have different things in root's .bashrc
so as to prepend a * i.e.
   *rjn/
and on remote systems:
   machine-name:dir/
or
   *machine-name:dir/


1)I think it would be nice to have this option in the GUI. It's really useful, and I think it should be an option for settings->configure konsole.

2)If it could use colour (eg a red *), that would be even better.