Warning: Undefined array key "stylesheets" in /home/public/screen/inc/StyleUtils.php on line 102

Site Tools



Warning: Undefined array key 5 in /home/public/screen/inc/changelog.php on line 27

Warning: Undefined array key 6 in /home/public/screen/inc/changelog.php on line 28

Warning: Undefined array key 3 in /home/public/screen/inc/changelog.php on line 25

Warning: Undefined array key 4 in /home/public/screen/inc/changelog.php on line 26

Warning: Undefined array key 5 in /home/public/screen/inc/changelog.php on line 27

Warning: Undefined array key 6 in /home/public/screen/inc/changelog.php on line 28

Warning: Undefined array key 5 in /home/public/screen/inc/changelog.php on line 27

Warning: Undefined array key 6 in /home/public/screen/inc/changelog.php on line 28

Warning: Undefined array key 3 in /home/public/screen/inc/changelog.php on line 25

Warning: Undefined array key 4 in /home/public/screen/inc/changelog.php on line 26

Warning: Undefined array key 5 in /home/public/screen/inc/changelog.php on line 27

Warning: Undefined array key 6 in /home/public/screen/inc/changelog.php on line 28

Warning: Trying to access array offset on value of type bool in /home/public/screen/inc/html.php on line 1164

Warning: Trying to access array offset on value of type bool in /home/public/screen/inc/html.php on line 1168

Warning: Trying to access array offset on value of type bool in /home/public/screen/inc/html.php on line 1171

Warning: Trying to access array offset on value of type bool in /home/public/screen/inc/html.php on line 1172

Warning: Undefined array key 5 in /home/public/screen/inc/changelog.php on line 27

Warning: Undefined array key 6 in /home/public/screen/inc/changelog.php on line 28

Warning: Undefined array key 3 in /home/public/screen/inc/changelog.php on line 25

Warning: Undefined array key 4 in /home/public/screen/inc/changelog.php on line 26

Warning: Undefined array key 5 in /home/public/screen/inc/changelog.php on line 27

Warning: Undefined array key 6 in /home/public/screen/inc/changelog.php on line 28

Warning: Undefined array key 5 in /home/public/screen/inc/changelog.php on line 27

Warning: Undefined array key 6 in /home/public/screen/inc/changelog.php on line 28

Warning: Undefined array key 3 in /home/public/screen/inc/changelog.php on line 25

Warning: Undefined array key 4 in /home/public/screen/inc/changelog.php on line 26

Warning: Undefined array key 5 in /home/public/screen/inc/changelog.php on line 27

Warning: Undefined array key 6 in /home/public/screen/inc/changelog.php on line 28

Warning: Undefined array key "userinfo" in /home/public/screen/inc/common.php on line 1795

Warning: Trying to access array offset on value of type null in /home/public/screen/inc/common.php on line 1795

Warning: Undefined array key "userinfo" in /home/public/screen/inc/common.php on line 1795

Warning: Trying to access array offset on value of type null in /home/public/screen/inc/common.php on line 1795

Warning: Undefined array key "userinfo" in /home/public/screen/inc/common.php on line 1795

Warning: Trying to access array offset on value of type null in /home/public/screen/inc/common.php on line 1795

Warning: Undefined array key "userinfo" in /home/public/screen/inc/common.php on line 1795

Warning: Trying to access array offset on value of type null in /home/public/screen/inc/common.php on line 1795

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
title_examples [2010-01-22 02:35]
asciiphil
title_examples [2021-02-19 19:49] (current)
Line 53: Line 53:
 <code> <code>
 alias postcmd 'echo -ne "^[k\!#:0^[\\"' alias postcmd 'echo -ne "^[k\!#:0^[\\"'
 +</code>
 +
 +On non-Linux systems like (Free)BSD or Solaris you may use the POSIX version with printf:
 +<code>
 +alias postcmd 'printf "\033k\!#\033\\"'
 </code> </code>
  
Line 85: Line 90:
  
 As a special case, if the //<default-title>// from above ends in a colon, the name of the currently running program will be appended to the default title instead of replacing it.  In the above example, with ''shelltitle "$ |bash"'', if you run pine, the title will change from "bash" to "pine", and back to "bash" when you exit pine.  If you use ''shelltitle "$ |bash:"'', the title will change from "bash:" to "bash:pine" and then back to "bash:". As a special case, if the //<default-title>// from above ends in a colon, the name of the currently running program will be appended to the default title instead of replacing it.  In the above example, with ''shelltitle "$ |bash"'', if you run pine, the title will change from "bash" to "pine", and back to "bash" when you exit pine.  If you use ''shelltitle "$ |bash:"'', the title will change from "bash:" to "bash:pine" and then back to "bash:".
- 

User Tools