(In reply to comment #5)
> Titles support tokens since 0.4.3. So you can now type something like:
>
> terminal --title "Remote server: %w", which will act like an appended dynamic
> title.
Sorry, but this gives me "Remote server: %w" as title, not exactly what I want. (at least with Terminal 0.4.2). Obviously noone is using Terminal to manage multiple hosts with application set dynamic titles, but with the need of a prepended FIXED host identification text :-(
(In reply to comment #5)
> Titles support tokens since 0.4.3. So you can now type something like:
>
> terminal --title "Remote server: %w", which will act like an appended dynamic
> title.
Sorry, but this gives me "Remote server: %w" as title, not exactly what I want. (at least with Terminal 0.4.2). Obviously noone is using Terminal to manage multiple hosts with application set dynamic titles, but with the need of a prepended FIXED host identification text :-(