x11/window-title
changeset 0 72aa32b4fa51
equal deleted inserted replaced
-1:000000000000 0:72aa32b4fa51
       
     1 x11 window title:
       
     2 
       
     3   printf \\033]0\;\%s\\007 "$title"
       
     4 
       
     5