Arch Linux

x-yuri

Member

Registered: 2013-01-06

Posts: 161

[SOLVED] Can't set gnome-terminal's title

First, I inspected other posts. But the thing is I can't set title with this:

echo -en "\e]0;test\a"

On one particular machine. And I have empty $PROMPT_COMMAND there. But I can change colors:

echo -en '\e[0;31m'

So escape sequences do work.

I checked it recently, but I'm going to confirm it tomorrow. So if you have any suggestions on what to check, feel free to tell me.

Last edited by x-yuri (2014-12-16 09:33:08)

muffinmad

Member

Registered: 2013-10-15

Posts: 5

Re: [SOLVED] Can't set gnome-terminal's title

Try this:

echo -ne "\033]0;test\007"

x-yuri

Member

Registered: 2013-01-06

Posts: 161

Re: [SOLVED] Can't set gnome-terminal's title

Sorry, my bad, I had this in my PROMPT_COMMAND:

__vte_command_prompt; printf "\033]0;%s@%s:%s\007" "${USER}" "${HOSTNAME%%.*}" "${PWD/#$HOME/\~}"

Both of which prevented me from changing title.