Bulk export to .pdf / .tex from terminal

#1

Is there a terminal command one can use to export many TeXmacs files to PDF and or LaTeX (.tex)?

I would like to write a bash script to bulk export many TeXmacs files (.tm) I have in a folder. Thanks.

#2

Yes, you can do texmaxs -c infile.tm outfile.pdf -q. That still briefly opens a window, but this can be avoided with arguments for headless mode (see other forum posts).