Re: multi-gnome-terminal alternative

[Jhair Tocancipa Triana <jhair.tocancipa@gmail.com>]

Jerome BENOIT writes:

> Hello,
> this one:

> PS1='\[\033]0;$NICKNAME:\w\007\]\[\033[40;1;37m\]$NICKNAME>\[\033[0;m\] '

Yes, I see garbled characters in gnome-terminal after NICKNAME>. E.g.:

foo>^[[0;m

I tried with konsole and your escape sequence works fine there.

>>> Why my escape sequence which works fine on xterm does not work
>>> with gnome-terminal ?

This is obviously a gnome-terminal bug. gnome-terminal is not parsing
escape sequences correctly.

Maybe this is related to the bug

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=369867

In this report, the xterm author points out some defects of
gnome-terminal and compares it with konsole.

-- 
-- Jhair