Pygments 'console' style

Pygments 'console' style

[Bill Janssen]

[-- Attachment #1.1: Type: text/plain, Size: 724 bytes --]


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 pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/05541691-dbb5-48b4-ac2a-a0f986fcb25e%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[-- Attachment #1.2: Type: text/html, Size: 423621 bytes --]

Re: Pygments 'console' style

[John MACFARLANE]

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-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
>   To post to this group, send email to
>   [2]pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
>   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-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org
>   3. https://groups.google.com/d/msgid/pandoc-discuss/05541691-dbb5-48b4-ac2a-a0f986fcb25e-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org?utm_medium=email&utm_source=footer
>   4. https://groups.google.com/d/optout

Re: Pygments 'console' style

[Bill Janssen]

[-- Attachment #1.1: Type: text/plain, Size: 3122 bytes --]

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 
> 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...-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org <javascript:>. 
> >   To post to this group, send email to 
> >   [2]pandoc-...-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org <javascript:>. 
> >   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 <javascript:> 
> >   2. mailto:pandoc-...-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org <javascript:> 
> >   3. 
> https://groups.google.com/d/msgid/pandoc-discuss/05541691-dbb5-48b4-ac2a-a0f986fcb25e-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org?utm_medium=email&utm_source=footer 
> >   4. 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 pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/ad8bd961-c9ad-4380-838d-4b8068a930a2%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[-- Attachment #1.2: Type: text/html, Size: 436053 bytes --]

Re: Pygments 'console' style

[John MacFarlane]

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