When we try to play a programme, a new window is opened up and input is piped to its stdin. Ideally we should play in the current window. It's just silly otherwise...
Possible that we could open fd://0 and write to our own stdin. Can we do this directly in Python from sys.stdin (or sys.stdin if it has been overridden)? Otherwise /proc//fd/0 might do it but I think we have to be root to write to that.
When we try to play a programme, a new window is opened up and input is piped to its stdin. Ideally we should play in the current window. It's just silly otherwise...