On 2020/02/22 22:08:33, hanwenn wrote: > On 2020/02/22 22:01:10, lemzwerg wrote: > > Never seen such code before, but if it fixes an issue... :-) > > it's a cut and paste from the internet, > https://blog.apokalyptik.com/2007/10/24/bash-tip-closing-file-descriptors/ > > I'm surprised that make passes on the console stdin to child processes, but it > does appear to happen.
The default for _any_ program is to pass all open file descriptors it receives, most certainly the standard file descriptors, on to children. The proper fix here of course is not to close stdin but rather to run pdflatex with -interaction batchmode (where it prints nothing on output during the run, so you need to consult the log file in case of problems) or with -interaction nonstopmode where it never stops for input. https://codereview.appspot.com/545620043/
