[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: generic color support for `texinfo.tex`
From: |
Patrice Dumas |
Subject: |
Re: generic color support for `texinfo.tex` |
Date: |
Wed, 29 Dec 2021 12:11:15 +0100 |
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