> (correct me if I'm wrong), READING from /dev/null is > undefined and may result in undetermined behavior.
That's an incorrect recollection of facts, unfortunately. Reading from /dev/null should result in an immediate EOF (0 returned from read()). > But "< /dev/null" literally means "don't read from STDIN". No, it means that stdin in going to contain no data. HTH, Anton Lavrentiev Contractor NIH/NLM/NCBI -- Problem reports: https://cygwin.com/problems.html FAQ: https://cygwin.com/faq/ Documentation: https://cygwin.com/docs.html Unsubscribe info: https://cygwin.com/ml/#unsubscribe-simple
