Tagged Questions

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 ...