On Mon, Dec 20, 2021 at 08:11:25PM +0100, Jean Abou Samra wrote: > > > Thiking about it more, the main issue will be > how to call Pygments, which is a Python library. > Due to Python's interpreted nature, there is some > overhead of startup, around 0.05s -- which is > small, but starts to be noticeable if you have > hundreds of code snippets. If you find a way > to spawn a Python process and use the Python > API, that problem will be eliminated -- and it > will be trivial to implement equivalents to > --line-range and --range-separator. However, I > don't know about the implementation of makeinfo, > so I have no idea whether this kind of thing > is possible.
It would still be possible to do a script that uses the Pygments library and has the same command line interface as source-highlight. There is a command line cript coming with Pygments, pygmentize but not with that command line interface. -- Pat
