integrate support for minted.sty

[holtzermann17]

[Originally Ticket 1615]

http://code.google.com/p/minted/ has been making my day all week (running under pdflatex).

This would be lovely to have working within LaTeXML.

[dginev]

Unless we get some extra time to look into this soon, moving into the Future milestone.

[brucemiller]

For the record: since it uses an external python program/library,
I assume the only practical way to make this work would be to
call that external code and interpret whatever TeX that (I assume) they produce.

[dginev]

We have, unsurprisingly, received a request for minted at Authorea. And it turns out even pandoc "supports" it already by writing out a verbatim code block. Probably something to consider as a stop gap, I'm unsure if a partial implementation is better than no implementation here.

[brucemiller]

Writing out a code block probably works in many cases, but will fail if there are user defined macros inside; likewise it isn't really correct to attempt to "partially" expand only those user defined macros, although it might work occasionally.

Anyway, I guess it's time to admit that this binding isn't going to happen any time in the near future. Sorry.l

[dginev]

cross-referencing an author's comment for 2109.04981 in ar5iv, where minted support was mentioned explicitly.

I won't reopen the issue yet, but maybe we'll revisit it eventually...

[eric-wieser]

Is a partial implementation of minted.sty possible that just outputs a Verbatim block?

For the record: since it uses an external python program/library,

For the purpose of ar5iv, minted never needs to execute python anyway, and runs on cached latex output from pygments consisting of a handful of style commands.

[dginev]

@eric-wieser appropriate that you mention ar5iv - there is a stub implementation for minted.sty already available there, which tries to emulate minted blocks via listings.sty listings.

I'm now nearing 50 additional .ltxml files for ar5iv, which mostly just try to do basic damage mitigation, until the mainline LaTeXML repository can integrate fully fleshed out support.

[eric-wieser]

Ah, then perhaps my diagnosis of dginev/ar5iv#143 was incorrect; I assumed it was a lack of support for minted!

[dginev]

Another high-profile use of minted (if one day we are looking for real-life tests) can be found recommended in Lean 4's user manual, particularly Syntax Highlighting Lean in LaTeX .