Ubuntu
gnome-terminal package

  1. Bug #16179
  2. Comment #1

Comment 1 for bug 16179

Revision history for this message
Matt Zimmerman (mdz) wrote :

I'm not sure what the right approach is here.

- Using "Set title" could cause the escape sequence for setting the window title
to be ignored
- bash could omit the escape sequence if running under gnome-terminal
- bash could omit the escape sequence by default