Re: Changing the terminal title bar with Python

2013-10-23 Thread Anssi Saari
dic...@his.com writes: > On Friday, October 18, 2013 12:46:19 PM UTC-4, Steven D'Aprano wrote: > >> xterms used to have a feature where they would write the title back to >> standard input. Unfortunately, it has been disabled for security reasons, >> so I haven't been able to get this to work (n

Re: Changing the terminal title bar with Python

2013-10-19 Thread Tim Roberts
Steven D'Aprano wrote: > >You might find this useful, or just for fun, but on POSIX systems (Linux, >Unix, Apple Mac, but not Windows) you can change the title of the >terminal window from Python. Just for completeness, this is also possible in Windows, assuming you have installed py32win, whi

Re: Changing the terminal title bar with Python

2013-10-18 Thread dickey
On Friday, October 18, 2013 12:46:19 PM UTC-4, Steven D'Aprano wrote: > xterms used to have a feature where they would write the title back to > standard input. Unfortunately, it has been disabled for security reasons, > so I haven't been able to get this to work (not that I tried very > hard..

Changing the terminal title bar with Python

2013-10-18 Thread Steven D'Aprano
You might find this useful, or just for fun, but on POSIX systems (Linux, Unix, Apple Mac, but not Windows) you can change the title of the terminal window from Python. Not all terminals support this feature, but those which emulate an xterm do. import os GOOD_TERMINALS = ["xterm"] def set_ti