There are some interesting threads about how to use the stand alone compiler, but it seems the HTML5 export works differently via the IDE somehow.
Q: Is there a way (preferably on linux) to do a HTML5 export from a terminal, using a script or some other method like this ?
(Not something that autoplays mouse/key strokes to achieve the same effect)

Taking a closer look at https://github.com/TheGameCreators/AGKIDE/blob/master/src/project.c there is logic to replace tokens from the template files, for example %%ADDITIONALFOLDERS%% and %%LOADPACKAGE%%

Not being that familiar with how the codebase works makes it a bit unclear .. is it possible to put together a python script that does the equivalent to this code ?

If we could do a "HTML5 export" using a python script that would be very useful !

yes , all too easy, I'll upload code/examples soon.

Thanks BOTR ! That would be fantastic - looking forward to it !

Wow - I ran across this thread before but somehow missed the "and HTML" part - https://forum.thegamecreators.com/thread/225004

the code do what I'm asking about is already written ! Amazing !