1
vote
1answer
50 views

Command to change Konsole title

I would like to have the Konsole's title to change every time I run a loop, like this: while read line; do echo $line $i/$numline echo -ne "\033]0;$line $i/$numline\007" commands let i=i+1 ...
1
vote
1answer
424 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 ...