All about development
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”
Keine Kommentare:
Kommentar veröffentlichen
Neuerer Post
Älterer Post
Startseite
Abonnieren
Kommentare zum Post (Atom)
Keine Kommentare:
Kommentar veröffentlichen