Feature Request: Dynamically set local shell title

[Andrew]

I dynamically set my window/tab/split title via echoing an escape sequence in .bashrc. This only works when connecting via ssh to remote machines, and does not work when set in a local shell.

I've implemented this via a function. When this function is called at the command line, the titlebar changes for an instant, and is immediately reset to the default $USER@$HOSTNAME. Here's the function:

local_title() {
  echo -ne "\e]2;LOCAL\a"
}

This is in the interest of more easily differentiating vs local and remote shells when multiple tabs are open resulting in truncated titles (e.g. myuser@ instead of myuser@localmachine or myuser@remotemachine).

This appears to be explicitly implemented by the code as I've not found any documentation or options within the terminator preferences. I will try to go the extra mile but my programming knowlege is very limited. Any help in the meantime would be appreciated.

terminator version: 0.97-2ubuntu0.1

[Andrew (5arge)]

Invalid bug. Please delete/close.

I had an echo hidden amid my custom prompt code (.bashrc).