[tex-k] exit code and --interaction

[Julian Gilbey]

On Sat, Nov 01, 2008 at 10:57:34AM +0100, Joachim Schrod wrote:
> At that time, I pondered if one could introduce a special file name
> for stdin (e.g., "-") that would also process stdin as `normal' file
> and not as term_in. Then the input would not be echoed to the log file
> either, which would make log file parsing for errors and warnings
> easier as well. But I never made it to look into the source code how
> much effort this change would take. :-(

Would using /dev/stdin as the filename on a Unix-like system work (I
haven't had an opportunity to try), or alternatively, a named pipe?

   Julian