Feature Request: Dynamically set local shell title

Bug #1626502 reported by Andrew
2
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@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)
description: updated
Revision history for this message
Andrew (5arge) wrote :

Invalid bug. Please delete/close.

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

Changed in terminator:
status: New → Invalid
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.