<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Sun, May 24, 2015 at 12:59 PM, Hans Hagen <span dir="ltr"><<a href="mailto:pragma@wxs.nl" target="_blank">pragma@wxs.nl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class=""><div class="h5">On 5/24/2015 12:26 PM, Taco Hoekwater wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
Hi,<br>
<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
Op 23 mei 2015 om 13:04 heeft luigi scarso <<a href="mailto:luigi.scarso@gmail.com" target="_blank">luigi.scarso@gmail.com</a>> het volgende geschreven:<br>
<br>
Hm.<br>
<br>
$ luatex --fmt=luatex-plain --foo  "test.tex"<br>
luatex: unrecognized option '--foo'<br>
This is LuaTeX, Version beta-0.80.1 experimental<br>
  \write18 enabled.<br>
(./test.tex<br>
:<br>
:<br>
<br>
<br>
$ luatex --fmt=luatex-plain --lua=test.lua  --foo  "test.tex"<br>
This is LuaTeX, Version beta-0.80.1 experimental<br>
  \write18 enabled.<br>
(./test.tex<br>
:<br>
:<br>
(test.lua is empty)<br>
<br>
Perhaps we should explain this in the manual,<br>
but in general I think it's not a good idea to suppress the message<br>
"unrecognized option" .<br>
</blockquote>
<br>
This is working exactly as intended. Please do not change the behaviour.<br>
</blockquote>
<br></div></div>
Indeed, so the two example runs can be added to the manual as with:<br>
<br>
When a lua script is specified there is will be no checking on unrecognized options because the lua code itself can be driven by options.<br>
<br>
(As we do pass options to context it would mean that we'd get a whole list of confusing unrecognized options.)<div class=""><div class="h5"><br></div></div></blockquote><div>Done in revision 5262.</div></div><div><br></div><div><br></div>-- <br><div class="gmail_signature">luigi<br></div>
</div></div>