tildetown
/
tilde-wiki
1
0
Fork 1
Code Issues Pull Requests 2 Releases Wiki Activity

fix it live yolo

master
nate 2017-12-04 19:09:35 -08:00
parent a1f055a42e
commit c2ae69c1bd
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tildewiki/compilation.py
View File

@ -3,7 +3,7 @@ import re
from datetime import datetime from datetime import datetime
from typing import Optional, Callable from typing import Optional, Callable
from markdown import markdown from markdown import markdown, extensions
DOUBLE_NEWLINE_RE = re.compile(r'\n\n', flags=re.MULTILINE|re.DOTALL) DOUBLE_NEWLINE_RE = re.compile(r'\n\n', flags=re.MULTILINE|re.DOTALL)
HEADER_TITLE_RE = re.compile(r'<h([12])>(.*?)</h\1>') HEADER_TITLE_RE = re.compile(r'<h([12])>(.*?)</h\1>')
@ -138,7 +138,7 @@ def compile_markdown(file_path:str) -> str:
"""Given a string of markdown, compiles it and returns the result.""" """Given a string of markdown, compiles it and returns the result."""
return markdown( return markdown(
slurp(file_path), slurp(file_path),
extensions=[markdown.extensions.fenced_code], extensions=[extensions.fenced_code],
output_format='html5') output_format='html5')
def compile_plaintext(file_path:str) -> str: def compile_plaintext(file_path:str) -> str: