chore(cli): Restore access to REPL broken my multi-input changes

sile-typesetter · Jun 2, 2023 · c7320e4 · c7320e4
1 parent 504f8b3
commit c7320e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/cli.lua b/core/cli.lua
@@ -42,7 +42,7 @@ cli.parseArguments = function ()
     local code = parse_err:match("^Usage:") and 0 or 1
     os.exit(code)
   end
-  if opts.INPUTS then
+  if opts.INPUTS and #opts.INPUTS > 0 then
     local has_input_filename = false
     pl.tablex.foreachi(opts.INPUTS, function (v, k)
       if v == "STDIO" then