All about development
Posts mit dem Label
terminal title script
werden angezeigt.
Alle Posts anzeigen
Posts mit dem Label
terminal title script
werden angezeigt.
Alle Posts anzeigen
Samstag, 1. Februar 2014
How to change the terminal title with a script
Save the following lines in a file called title.sh:
#!/bin/zsh -f echo -ne "\033]0;$@\007"
and make it executable:
$ chmod +x title.sh
To change the title simply call
$ ./title.sh “New Title”
Ältere Posts
Startseite
Abonnieren
Posts (Atom)