j4i - new gnome-terminal "dynamic-title" bug at bugzilla

[Franz Klammer]

Franz Klammer wrote:

> j4i - gnome-terminal has a problem with the dynamic title and vim,
> here the link to the bug:
>
> http://bugzilla.gnome.org/show_bug.cgi?id=137388
>
> franz.
>
got an answer from the developer and there are two solutions for this 
problem:

1. send a bug-report to the vim developers: ask that they should change 
the way setting the title

2. add the following to ~/.cshrc to reset the window-title with nothing 
before displaying the prompt:

     switch ($TERM)
         case "xterm*":
            set prompt="%{\033]0;\007%}<your-preferred-prompt> "
            breaksw
         default:
            set prompt="<your-preferred-prompt> "
            breaksw
       endsw

maybe #2 something for the GNOME-FAQ?

franz.