How can I programmically set the gnome-terminal title? I've tried
gnome-terminal --title="bla"
but this opens a new terminal window while outputting
Xlib: extension "RANDR" missing on display ":0.0".
Got this to work
PROMPT_COMMAND='echo -ne "033]0;g0007"'
If this did not change your terminal title you will first have to open ~/.bashrc. Find the line that says:
PS1="[e]0;${debian_chroot:+($debian_chroot)}u@h: wa]$PS1"
Comment out this line, by putting a # character in front of it:
# PS1="[e]0;${debian_chroot:+($debian_chroot)}u@h: wa]$PS1"
Now add this line (you may want to put it just after the commented-out line):
PROMPT_COMMAND='echo -ne "033]0;Terminal title name change here007"'Replace Terminal title name change here with whatever you want to change the Terminal title to be, if anything.
