mirror of
https://codeberg.org/uzu/strudel
synced 2026-07-13 14:26:58 -04:00
alex
13 lines
325 B
Python
Executable File
13 lines
325 B
Python
Executable File
#!/usr/bin/env python3
|
|
import sys
|
|
|
|
from pandocfilters import toJSONFilter, RawBlock
|
|
|
|
def toMiniREPL(key, value, format, meta):
|
|
# print(value, file=sys.stderr)
|
|
if key == 'CodeBlock':
|
|
return RawBlock("markdown", "<MiniRepl tune={`" + value[1] + "`} />")
|
|
|
|
if __name__ == "__main__":
|
|
toJSONFilter(toMiniREPL)
|