Re: Pygments 'console' style

[John MacFarlane <jgm-TVLZxgkOlNX2fBVCVOL8/A@public.gmane.org>]

New versions of pandoc use
https://github.com/jgm/skylighting
There are some instructions (and links to relevant KDE
documentation) there.

The dev version includes an option to load an xml syntax
definition dynamically, but this isn't yet in the released
versions.

+++ Bill Janssen [Sep 21 17 15:41 ]:
>   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
>   $ date
>   Thu Sep 21 15:29:07 PDT 2017
>   $
>   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
>     [1]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][2]pandoc-discus...-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
>     >   To post to this group, send email to
>     >   [2][3]pandoc-...-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
>     >   To view this discussion on the web visit
>     >   [3][4]https://groups.google.com/d/msgid/pandoc-discuss/
>     05541691-dbb5-48b4-
>     >   ac2a-a0f986fcb25e%[5]40googlegroups.com.
>     >   For more options, visit [4][6]https://groups.google.com/
>     d/optout.
>     >
>     >References
>     >
>     >   1. mailto:[7]pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org
>     >   2. mailto:[8]pandoc-...-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org
>     >   3. [9]https://groups.google.com/d/msgid/pandoc-discuss/05541691-
>     dbb5-48b4-ac2a-a0f986fcb25e-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org?utm_medium=
>     email&utm_source=footer
>     >   4. [10]https://groups.google.com/d/optout
>
>   --
>   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 [11]pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
>   To post to this group, send email to
>   [12]pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
>   To view this discussion on the web visit
>   [13]https://groups.google.com/d/msgid/pandoc-discuss/ad8bd961-c9ad-4380
>   -838d-4b8068a930a2%40googlegroups.com.
>   For more options, visit [14]https://groups.google.com/d/optout.
>
>References
>
>   1. https://cgit.kde.org/syntax-highlighting.git/tree/data/syntax
>   2. javascript:/
>   3. javascript:/
>   4. https://groups.google.com/d/msgid/pandoc-discuss/05541691-dbb5-48b4-
>   5. http://40googlegroups.com/
>   6. https://groups.google.com/d/optout
>   7. javascript:/
>   8. javascript:/
>   9. https://groups.google.com/d/msgid/pandoc-discuss/05541691-dbb5-48b4-ac2a-a0f986fcb25e-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org?utm_medium=email&utm_source=footer
>  10. https://groups.google.com/d/optout
>  11. mailto:pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org
>  12. mailto:pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org
>  13. https://groups.google.com/d/msgid/pandoc-discuss/ad8bd961-c9ad-4380-838d-4b8068a930a2-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org?utm_medium=email&utm_source=footer
>  14. https://groups.google.com/d/optout