On Tuesday, 29 September 2020 at 05:54:23 UTC+8 John MacFarlane wrote:
A PR would be most welcome!
iandol <ian...-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> writes:
> Yes, I'd be happy to add this there. As my Lua knowledge barely rises to
> the level of neophyte dabbler, I'd be happy if someone can confirm this
> works for them too and all makes sense (I've only tested on macOS). Perhaps
> I can make a pull request and it can be discussed there (though I won't
> have till till later this week)? I also thought I could add the test filter
> to the lua filters repository...
>
> Ian
>
> On Monday, 28 September 2020 at 13:29:56 UTC+8 Albert Krewinkel wrote:
>
>> iandol writes:
>>
>> > A recent wishlist request <https://github.com/jgm/pandoc/issues/6654>
>> for a
>> > REPL for Lua filters on the Issues list made me revisit the option of
>> using
>> > Zerobrane's debugger. I can now get the debugger to trigger a debug
>> session
>> > initiated from a Pandoc run, and Zerobrane offers a Lua console and other
>> > tools to inspect and manipulate the code running in a filter, greatly
>> > aiding those of us who are not proficient in Lua or do not understand how
>> > the Pandoc AST is represented in Lua. Some brief instructions can be
>> found
>> > here: filters/luatest.lua
>> > <https://github.com/iandol/dotpandoc/blob/master/filters/luatest.lua>
>>
>> Wow, this is awesome! (I thought this wouldn't be possible; sometimes
>> it's so nice to be wrong.)
>>
>> Would you like to add this to the pandoc Lua filter documentation? I'm
>> sure many would appreciate having that info in there.
>>
>>
>> --
>> Albert Krewinkel
>> GPG: 8eed e3e2 e8c5 6f18 81fe e836 388d c0b2 1f63 1124
>>
>
> --
> 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-discus...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/c327601e-964d-48b3-a00f-edc417a2911bn%40googlegroups.com.