diff options
author | HampusM <hampus@hampusmat.com> | 2021-12-14 12:38:33 +0100 |
---|---|---|
committer | HampusM <hampus@hampusmat.com> | 2021-12-14 12:38:33 +0100 |
commit | 362c3265031b91eb78890a515da48b47ca20376d (patch) | |
tree | c437a9c15c828c584b255779596f6b43f77c2caa | |
parent | 5b2643bbbc53fabf4a49e5eb4df52ffe88c150e7 (diff) |
-rw-r--r-- | about-formatting.sh | 10 | ||||
-rw-r--r-- | markdown_filter.py | 319 | ||||
-rw-r--r-- | requirements.txt | 2 | ||||
-rw-r--r-- | syntax-highlighting.py | 50 | ||||
-rw-r--r-- | utils.py | 20 |
5 files changed, 401 insertions, 0 deletions
diff --git a/about-formatting.sh b/about-formatting.sh new file mode 100644 index 0000000..d11b738 --- /dev/null +++ b/about-formatting.sh @@ -0,0 +1,10 @@ +#!/bin/sh +cd "$(dirname $0)/html-converters/" + +case "$(printf '%s' "$1" | tr '[:upper:]' '[:lower:]')" in + *.markdown|*.mdown|*.md|*.mkd) exec /filters/markdown_filter.py; ;; + *.rst) exec ./rst2html; ;; + *.[1-9]) exec ./man2html; ;; + *.htm|*.html) exec cat; ;; + *.txt|*) exec ./txt2html; ;; +esac diff --git a/markdown_filter.py b/markdown_filter.py new file mode 100644 index 0000000..ebeba3d --- /dev/null +++ b/markdown_filter.py @@ -0,0 +1,319 @@ +#!/usr/bin/env python3 +import sys +import io +from textwrap import dedent + +from markdown import markdown +from markdown.extensions.toc import TocExtension +from pygments.formatters import HtmlFormatter + +from utils import configure_io, write_style + + +markdown_style = dedent("""\ + .markdown-body { + font-size: 14px; + line-height: 1.6; + overflow: hidden; + } + .markdown-body>*:first-child { + margin-top: 0 !important; + } + .markdown-body>*:last-child { + margin-bottom: 0 !important; + } + .markdown-body a.absent { + color: #c00; + } + .markdown-body a.anchor { + display: block; + padding-left: 30px; + margin-left: -30px; + cursor: pointer; + position: absolute; + top: 0; + left: 0; + bottom: 0; + } + .markdown-body h1, .markdown-body h2, .markdown-body h3, .markdown-body h4, .markdown-body h5, .markdown-body h6 { + margin: 20px 0 10px; + padding: 0; + font-weight: bold; + -webkit-font-smoothing: antialiased; + cursor: text; + position: relative; + } + .markdown-body h1 .mini-icon-link, .markdown-body h2 .mini-icon-link, .markdown-body h3 .mini-icon-link, .markdown-body h4 .mini-icon-link, .markdown-body h5 .mini-icon-link, .markdown-body h6 .mini-icon-link { + display: none; + } + .markdown-body h1:hover a.anchor, .markdown-body h2:hover a.anchor, .markdown-body h3:hover a.anchor, .markdown-body h4:hover a.anchor, .markdown-body h5:hover a.anchor, .markdown-body h6:hover a.anchor { + text-decoration: none; + line-height: 1; + padding-left: 0; + margin-left: -22px; + top: 15%; + } + .markdown-body h1:hover a.anchor .mini-icon-link, .markdown-body h2:hover a.anchor .mini-icon-link, .markdown-body h3:hover a.anchor .mini-icon-link, .markdown-body h4:hover a.anchor .mini-icon-link, .markdown-body h5:hover a.anchor .mini-icon-link, .markdown-body h6:hover a.anchor .mini-icon-link { + display: inline-block; + } + .markdown-body h1 tt, .markdown-body h1 code, .markdown-body h2 tt, .markdown-body h2 code, .markdown-body h3 tt, .markdown-body h3 code, .markdown-body h4 tt, .markdown-body h4 code, .markdown-body h5 tt, .markdown-body h5 code, .markdown-body h6 tt, .markdown-body h6 code { + font-size: inherit; + } + .markdown-body h1 { + font-size: 28px; + } + .markdown-body h2 { + font-size: 24px; + border-bottom: 1px solid #ccc; + } + .markdown-body h3 { + font-size: 18px; + } + .markdown-body h4 { + font-size: 16px; + } + .markdown-body h5 { + font-size: 14px; + } + .markdown-body h6 { + color: #777; + font-size: 14px; + } + .markdown-body p, .markdown-body blockquote, .markdown-body ul, .markdown-body ol, .markdown-body dl, .markdown-body table, .markdown-body pre { + margin: 15px 0; + } + .markdown-body hr { + border: 2px solid #ccc; + } + .markdown-body>h2:first-child, .markdown-body>h1:first-child, .markdown-body>h1:first-child+h2, .markdown-body>h3:first-child, .markdown-body>h4:first-child, .markdown-body>h5:first-child, .markdown-body>h6:first-child { + margin-top: 0; + padding-top: 0; + } + .markdown-body a:first-child h1, .markdown-body a:first-child h2, .markdown-body a:first-child h3, .markdown-body a:first-child h4, .markdown-body a:first-child h5, .markdown-body a:first-child h6 { + margin-top: 0; + padding-top: 0; + } + .markdown-body h1+p, .markdown-body h2+p, .markdown-body h3+p, .markdown-body h4+p, .markdown-body h5+p, .markdown-body h6+p { + margin-top: 0; + } + .markdown-body li p.first { + display: inline-block; + } + .markdown-body ul, .markdown-body ol { + padding-left: 30px; + } + .markdown-body ul.no-list, .markdown-body ol.no-list { + list-style-type: none; + padding: 0; + } + .markdown-body ul li>:first-child, .markdown-body ul li ul:first-of-type, .markdown-body ul li ol:first-of-type, .markdown-body ol li>:first-child, .markdown-body ol li ul:first-of-type, .markdown-body ol li ol:first-of-type { + margin-top: 0px; + } + .markdown-body ul li p:last-of-type, .markdown-body ol li p:last-of-type { + margin-bottom: 0; + } + .markdown-body ul ul, .markdown-body ul ol, .markdown-body ol ol, .markdown-body ol ul { + margin-bottom: 0; + } + .markdown-body dl { + padding: 0; + } + .markdown-body dl dt { + font-size: 14px; + font-weight: bold; + font-style: italic; + padding: 0; + margin: 15px 0 5px; + } + .markdown-body dl dt:first-child { + padding: 0; + } + .markdown-body dl dt>:first-child { + margin-top: 0px; + } + .markdown-body dl dt>:last-child { + margin-bottom: 0px; + } + .markdown-body dl dd { + margin: 0 0 15px; + padding: 0 15px; + } + .markdown-body dl dd>:first-child { + margin-top: 0px; + } + .markdown-body dl dd>:last-child { + margin-bottom: 0px; + } + .markdown-body blockquote { + border-left: 4px solid #DDD; + padding: 0 15px; + color: #777; + } + .markdown-body blockquote>:first-child { + margin-top: 0px; + } + .markdown-body blockquote>:last-child { + margin-bottom: 0px; + } + .markdown-body table th { + font-weight: bold; + } + .markdown-body table th, .markdown-body table td { + border: 1px solid #ccc; + padding: 6px 13px; + } + .markdown-body table tr { + border-top: 1px solid #ccc; + background-color: #fff; + } + .markdown-body table tr:nth-child(2n) { + background-color: #f8f8f8; + } + .markdown-body img { + max-width: 100%; + -moz-box-sizing: border-box; + box-sizing: border-box; + } + .markdown-body span.frame { + display: block; + overflow: hidden; + } + .markdown-body span.frame>span { + border: 1px solid #ddd; + display: block; + float: left; + overflow: hidden; + margin: 13px 0 0; + padding: 7px; + width: auto; + } + .markdown-body span.frame span img { + display: block; + float: left; + } + .markdown-body span.frame span span { + clear: both; + color: #333; + display: block; + padding: 5px 0 0; + } + .markdown-body span.align-center { + display: block; + overflow: hidden; + clear: both; + } + .markdown-body span.align-center>span { + display: block; + overflow: hidden; + margin: 13px auto 0; + text-align: center; + } + .markdown-body span.align-center span img { + margin: 0 auto; + text-align: center; + } + .markdown-body span.align-right { + display: block; + overflow: hidden; + clear: both; + } + .markdown-body span.align-right>span { + display: block; + overflow: hidden; + margin: 13px 0 0; + text-align: right; + } + .markdown-body span.align-right span img { + margin: 0; + text-align: right; + } + .markdown-body span.float-left { + display: block; + margin-right: 13px; + overflow: hidden; + float: left; + } + .markdown-body span.float-left span { + margin: 13px 0 0; + } + .markdown-body span.float-right { + display: block; + margin-left: 13px; + overflow: hidden; + float: right; + } + .markdown-body span.float-right>span { + display: block; + overflow: hidden; + margin: 13px auto 0; + text-align: right; + } + .markdown-body code, .markdown-body tt { + margin: 0 2px; + padding: 0px 5px; + border: 1px solid #eaeaea; + background-color: #f8f8f8; + border-radius: 3px; + } + .markdown-body code { + white-space: nowrap; + } + .markdown-body pre>code { + margin: 0; + padding: 0; + white-space: pre; + border: none; + background: transparent; + } + .markdown-body .highlight pre, .markdown-body pre { + background-color: #111111; + border: 1px solid #ccc; + font-size: 13px; + line-height: 19px; + overflow: auto; + padding: 6px 10px; + border-radius: 3px; + } + .markdown-body pre code, .markdown-body pre tt { + margin: 0; + padding: 0; + background-color: transparent; + border: none; + } + table.blob { + display: none; + } +""") + + +def write_markdown_as_html(markdown_input: str): + sys.stdout.write("<div class='markdown-body'>") + sys.stdout.flush() + + html = markdown( + text=markdown_input, + output_format="html5", + extensions=[ + "markdown.extensions.fenced_code", + "markdown.extensions.codehilite", + "markdown.extensions.tables", + "markdown.extensions.sane_lists", + TocExtension(anchorlink=True)], + extension_configs={ + "markdown.extensions.codehilite":{"css_class":"highlight"} + } + ) + + sys.stdout.write(html) + + sys.stdout.write("</div>") + + +if __name__ == "__main__": + configure_io() + + formatter = HtmlFormatter(style="fruity", nobackground=True) + + write_style(formatter, markdown_style) + + write_markdown_as_html(sys.stdin.read()) diff --git a/requirements.txt b/requirements.txt new file mode 100644 index 0000000..8e445c7 --- /dev/null +++ b/requirements.txt @@ -0,0 +1,2 @@ +Pygments==2.10.0 +markdown==3.3.6
\ No newline at end of file diff --git a/syntax-highlighting.py b/syntax-highlighting.py new file mode 100644 index 0000000..6c8edf1 --- /dev/null +++ b/syntax-highlighting.py @@ -0,0 +1,50 @@ +#!/usr/bin/env python3 +import sys +import io + +from pygments import highlight +from pygments.util import ClassNotFound +from pygments.lexers import TextLexer +from pygments.lexers import guess_lexer +from pygments.lexers import guess_lexer_for_filename +from pygments.formatters import HtmlFormatter + +from utils import configure_io, write_style +from markdown_filter import markdown_style, write_markdown_as_html + +def main(): + configure_io() + + data = sys.stdin.read() + filename = sys.argv[1] + + formatter = HtmlFormatter(style="fruity", nobackground=True) + + if filename.endswith(".md"): + # Dirty workaround to get markdown to display properly + sys.stdout.write("</code></pre></td></tr></tbody></table>") + + write_style(formatter, markdown_style) + + write_markdown_as_html(data) + sys.stdout.flush() + return + + write_style(formatter) + + try: + lexer = guess_lexer_for_filename(filename, data) + except ClassNotFound: + # check if there is any shebang + if data[0:2] == '#!': + lexer = guess_lexer(data) + else: + lexer = TextLexer() + except TypeError: + lexer = TextLexer() + + sys.stdout.write(highlight(data, lexer, formatter, outfile=None)) + + +if __name__ == "__main__": + main() diff --git a/utils.py b/utils.py new file mode 100644 index 0000000..40a8f81 --- /dev/null +++ b/utils.py @@ -0,0 +1,20 @@ +import sys +import io +from typing import Optional + +from pygments.formatters import HtmlFormatter + + +def configure_io(): + sys.stdin = io.TextIOWrapper(sys.stdin.buffer, encoding='utf-8', errors='replace') + sys.stdout = io.TextIOWrapper(sys.stdout.buffer, encoding='utf-8', errors='replace') + + +def write_style(formatter: HtmlFormatter, opt_style: Optional[str] = None): + sys.stdout.write('<style>') + + if opt_style: + sys.stdout.write(opt_style) + + sys.stdout.write(formatter.get_style_defs('.highlight')) + sys.stdout.write('</style>') |