how about "-export filename" ? handy for makefiles...

Are you requesting a batch mode action that takes a cart as input and write .html and .js as output?

I've considered adding web export and extract functionality to picotool as just another cart format, which would basically do that. No promises, but just wondering if that's the request. :)

that's exactly what I need!
of course an actual command line parameter should also work for the spritesheet and the upcoming binary exports. same thing for "save" could be handy too.

in the meantime I found a workaround,
in the cart's code:

export('game.html')

in a batch file:

pico8 -run game.p8

and voilà! (the export command is ignored within the html version)
pico8 stays open but well, can't have everything.

I could even do a multi-version html export:

if(peek(0)==0) then
poke(0,1)cstore(0,0,1)export('gamev1.html')
poke(0,2)cstore(0,0,1)export('gamev2.html')
poke(0,0)cstore(0,0,1)
end
version=peek(0)

-- actual game code
if (version==2) do_something_specific_to_v2()
-- etc.

funny stuff :)

that clearly doesn't help my minifying woes but that's in another thread ;)

In the batch file, you could use this if you know it's the only copy running:

pskill pico8.exe

But if you have others it'll kill them too. If so you'll need to know the PID of the one you run and use that instead of the name.