Change the title of a terminal (Gnome)
- by Kevin
I would like to customize the name of the tab in Tilda (I guess that it doesn't change anything from the Gnome-terminal's behavior), but I can't find the exact sequence ...
so far, I figured out that Bash does it when displaying my PS1 prompt:
echo $PS1
\[\e]0;HELLO\a\]\[\033[01;32m\]\u\[\033[00m\]@\[\033[1;35m\]\h\[\033[00m\]:\[\033[01;34m\]\[\033[00m\]
I guess that \[\e]0;HELLO\a\] is responsible for the title to be set to 'HELLO',
but when I start
echo -ne "\[\e]0;HELLO WORLD\a\]"
only writes '[]'
what's wrong with my command ?