Feature Request: Dynamically set local shell title
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Terminator |
Invalid
|
Undecided
|
Unassigned |
Bug Description
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@
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
description: | updated |
Changed in terminator: | |
status: | New → Invalid |
Invalid bug. Please delete/close.
I had an echo hidden amid my custom prompt code (.bashrc).