Tagged Questions
2
votes
1answer
50 views
How can a bash script detect support for window titling escape characters?
I have a debug trap that runs every time I enter a command in bash that sets the window title to indicate what command is running. I'm leaving out all the configuration details and boil it down to:
...
2
votes
3answers
923 views
Fix terminal title after SSH remote logging to another machine
right now I am using an one-line perl code to change titles of my terminal bars,
print("\e]0;@ARGV\7");
but every time after I ssh to another remote machine, the title will be modified by the host ...
1
vote
1answer
231 views
How does “Remote tab title format” in Konsole work?
Some terminal programs, in particular Konsole supports "Remote title format" which allows you to specify title for remote tabs which includes placeholders like remote host. How does this work? Where ...
2
votes
1answer
167 views
Is there a way to lock terminal's title?
Sometimes there're lots of different sessions opened in own terminal's tabs and it's rather desirable to have theirs initial titles (named by session name) locked since local title tweaks make those ...
1
vote
1answer
149 views
Different Title formats for different Terminal apps?
I use a script which either activates an already running window of a program, or starts that program if it is not running. It uses different shortcut-keys; one for each of my most used apps — it ...
