On Thu, 4 Jun 2026 at 12:22, Patrick Schulz <[email protected]> wrote: > I smell a slight discrepance between what users *should* do and what > users *actually* do... > This issue cost us half a day's worth of work yesterday, for a routine > that causes the program to cannibalize its own input at literally one > accidental push of a button... > Non-lua-latex keeps repeating the input query until a proper file name > is entered, I think lualatex should do the same. >
Hm, I will check the pdftex source -- luigi
