Re: [pollen] Pygments doesn't work

2018-09-26 Thread Matthew Butterick

> On Sep 25, 2018, at 11:49 PM, Evžen Wybitul  wrote:
> 
> I followed the tutorial from the official Pollen docs 
>  and tried to make 
> Pygments work. I have installed Pygments with both pip and easy_install, and 
> have `pygmentize` available on PATH. My `.html.pm` file looks exactly like 
> the example from the linked tutorial; and yet, the code isn't getting parsed 
> and is only inserted in . Could somebody help me troubleshoot this?


When you run this:

#lang pollen/markup
◊(require pollen/unstable/pygments)
◊highlight['python]{42}

You should get this:

Using Pygments.
'(root
  (div
   ((class "highlight"))
   (table
((class "sourcetable"))
(tbody
 (tr
  (td ((class "linenos")) (div ((class "linenodiv")) (pre "1")))
  (td
   ((class "code"))
   (div ((class "source")) (pre (span ((class "mi")) "42") "\n"))
   "\n"
   "\n"))


Or, if you just get code wrapped in ` ···`, that's a sign that your 
`pygments` installation couldn't be found by `pollen/unstable/pygments`.

-- 
You received this message because you are subscribed to the Google Groups 
"Pollen" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to pollenpub+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


[pollen] Pygments doesn't work

2018-09-26 Thread Evžen Wybitul
I followed the tutorial from the official Pollen docs 
 and tried to make 
Pygments work. I have installed Pygments with both pip and easy_install, 
and have `pygmentize` available on PATH. My `.html.pm` file looks exactly 
like the example from the linked tutorial; and yet, the code isn't getting 
parsed and is only inserted in . Could somebody help me 
troubleshoot this?

-- 
You received this message because you are subscribed to the Google Groups 
"Pollen" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to pollenpub+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.