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
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
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..
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