Rather than using the shell's stdin, or using a hack based on shell variables, why not pass the shell a script using a pipe on an arbitrary file descriptor, using "sh /dev/fd/N" where N is the read end of the pipe? Since the shell has to handle stdin, it can handle non-seekable files, so you don't even need a temporary file.
- Josh Triplett -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
