![](https://secure.gravatar.com/avatar/5d45261e2c25eef5a2984452066b3a67.jpg?s=120&d=mm&r=g)
2007/7/10, Taco Hoekwater
: I vote for Phil's approach. I suspect most of the people that do not know how to generate an EOF in the console will not understand the key press reference either.
Besides, tricks like dummy strings tend to lead to bugs in the years to come. (said as the person who just spend a whole day figuring out that the weird "file_name_size=maxint" statement in tex.ch is part of a trick to simplify openclose.c as it forces the "namelength" var to be of the correct allocation size).
Agreed. KISS :-)
luaTeX does not use tex.ch. For Taco's convenience,
I've tried to make a patch:
Best regards,
Akira
--- luatex.ch.orig Mon Jul 09 20:34:16 2007
+++ luatex.ch Tue Jul 10 23:13:12 2007
@@ -1404,12 +1404,20 @@
@y
var k:0..buf_size; {index into |buffer|}
@!saved_cur_name:str_number; {to catch empty terminal input}
+@!saved_cur_ext:str_number; {to catch empty terminal input}
+@!saved_cur_area:str_number; {to catch empty terminal input}
@z
@x
if e=".tex" then show_context;
@y
if (e=".tex") or (e="") then show_context;
+print_ln; print("(Enter the null string to re-try, or <eof> to exit");
+if (e<>"") then
+ begin
+ print(" Default file extension is `"); print(e); print("'");
+ end;
+print(")"); print_ln;
@z
@x
@@ -1417,9 +1425,17 @@
if cur_ext="" then cur_ext:=e;
@y
saved_cur_name:=cur_name;
+saved_cur_ext:=cur_ext;
+saved_cur_area:=cur_area;
clear_terminal; prompt_input(": "); @