On Dec 2, 8:53 am, Hans Mulder <han...@xs4all.nl> wrote: > On 2/12/11 03:46:10, Dan Stromberg wrote: > > > You can read piped data from sys.stdin normally. Then if you want > > something from the user, at least on most *ix's, you would open > > /dev/tty and get user input from there. 'Not sure about OS/X. > > Reading from /dev/tty works fine on OS/X. > > -- HansM
Many thanks for the pointers – I had tried sys.stdin = open('/dev/tty', 'r') but the actual solution is slightly more complicated. With your help (and another round of Google searches), I found exactly what I was looking for: http://turambar.org/jarkko/stdin_input.php Because raw_input() (input() in Python 3) reads from file descriptor 0, the solution is to copy this file descriptor elsewhere, and use a file descriptor pointing to /dev/tty for the user input. Thanks again - Jan -- http://mail.python.org/mailman/listinfo/python-list