Sorry, I should have been more prolix.  My documents have lots of examples of people interacting with a read-eval-print loop in a terminal session.  Things like



The ideal console mode (or "repl" or "typescript", two other names for this kind of text) does a good job of identifying user inputs versus program outputs -- I'm not sure how well the Pygments lexer does at this.  The inputs are usually boldfaced, the outputs normal.  Handles '#' and '%' prompts, stuff before the prompt, etc.

'bash', on the other hand, is just highlighting for the bash language, as far as I know.

I haven't found documentation on how to add support for a new language highlighter; is there a link?

Bill

On Thursday, September 21, 2017 at 3:27:40 PM UTC-7, John MacFarlane wrote:

Pandoc doesn't actually use pygments at all.
It has a style named 'pygments' because it imitates
pygments' default style, but the highlighting is all
done by a Haskell library, skylighting.

It uses definitions from KDE
https://cgit.kde.org/syntax-highlighting.git/tree/data/syntax

I don't see 'console' -- there is 'bash', which might work
for your purposes -- I'm not sure what 'console' does.

+++ Bill Janssen [Sep 21 17 15:15 ]:
>   Pandoc doesn't seem to recognize the 'console' language tag supported
>   by Pygments.  Am I just missing it?  If not, is there some way to add
>   it?
>   Bill
>
>   --
>   You received this message because you are subscribed to the Google
>   Groups "pandoc-discuss" group.
>   To unsubscribe from this group and stop receiving emails from it, send
>   an email to [1]pandoc-discus...@googlegroups.com.
>   To post to this group, send email to
>   [2]pandoc-...@googlegroups.com.
>   To view this discussion on the web visit
>   [3]https://groups.google.com/d/msgid/pandoc-discuss/05541691-dbb5-48b4-
>   ac2a-a0f986fcb25e%40googlegroups.com.
>   For more options, visit [4]https://groups.google.com/d/optout.
>
>References
>
>   1. mailto:pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org
>   2. mailto:pandoc-...@googlegroups.com
>   3. https://groups.google.com/d/msgid/pandoc-discuss/05541691-dbb5-48b4-ac2a-a0f986fcb25e@googlegroups.com?utm_medium=email&utm_source=footer
>   4. https://groups.google.com/d/optout