Dear devs,

It would be great if LuaTeX accepted piped input.  Currently a command
like

    texlua <(echo 'print "Hello"')

fails with an error like "Script file /dev/fd/63 not found".  I have
attached a simple patch which would eliminate the failure.

Cheers, Henri
diff --git a/source/texk/web2c/luatexdir/lua/luainit.c b/source/texk/web2c/luatexdir/lua/luainit.c
index 7abf8c8ee..2706c5fd6 100644
--- a/source/texk/web2c/luatexdir/lua/luainit.c
+++ b/source/texk/web2c/luatexdir/lua/luainit.c
@@ -513,7 +513,7 @@ static void parse_options(int ac, char **av)
 */
 
 #define is_readable(a) (stat(a,&finfo)==0) \
-    && S_ISREG(finfo.st_mode) \
+    && (S_ISREG(finfo.st_mode) || S_ISFIFO(finfo.st_mode)) \
     && (f=fopen(a,"r")) != NULL && !fclose(f)
 
 static char *find_filename(char *name, const char *envkey)

Reply via email to