2022-01-30 07:19:20 +00:00
|
|
|
# pyright: basic
|
2022-01-31 10:24:45 +00:00
|
|
|
from typing import Dict, NamedTuple
|
2022-01-15 05:09:37 +00:00
|
|
|
import os.path
|
|
|
|
import pkg_resources
|
|
|
|
|
|
|
|
import flask
|
2022-01-15 08:34:08 +00:00
|
|
|
from flask.helpers import url_for
|
2022-01-15 08:01:38 +00:00
|
|
|
import mistletoe
|
2022-01-15 05:09:37 +00:00
|
|
|
|
|
|
|
from . import get_setting
|
|
|
|
from .version import GIT_URL
|
|
|
|
|
2022-01-31 10:24:45 +00:00
|
|
|
|
|
|
|
class HelpPage(NamedTuple):
|
|
|
|
title: str
|
|
|
|
content: str
|
|
|
|
|
|
|
|
|
|
|
|
PAGES: Dict[str, HelpPage] = {}
|
|
|
|
""" Maps a filename under help/ without the file extension to the rendered page. """
|
2022-01-15 05:09:37 +00:00
|
|
|
|
|
|
|
|
|
|
|
def render(app: flask.Flask):
|
|
|
|
"""
|
|
|
|
Renders the user documentation. Must be called after all Flask routes have been
|
|
|
|
registered, because the documentation might try to link to them with Flask's `url_for`.
|
|
|
|
|
|
|
|
We render the user documentation once on startup to improve performance.
|
|
|
|
"""
|
|
|
|
|
2022-01-15 08:34:08 +00:00
|
|
|
link_targets = {
|
|
|
|
'brand.git_url': GIT_URL,
|
|
|
|
'brand.public_instances': get_setting('brand.public_instances'),
|
|
|
|
'brand.docs_url': get_setting('brand.docs_url'),
|
|
|
|
}
|
|
|
|
|
|
|
|
base_url = get_setting('server.base_url') or None
|
|
|
|
# we specify base_url so that url_for works for base_urls that have a non-root path
|
2022-01-15 05:09:37 +00:00
|
|
|
|
2022-01-15 08:34:08 +00:00
|
|
|
with app.test_request_context(base_url=base_url):
|
|
|
|
link_targets['url_for:index'] = url_for('index')
|
|
|
|
link_targets['url_for:preferences'] = url_for('preferences')
|
|
|
|
link_targets['url_for:stats'] = url_for('stats')
|
2022-01-15 05:09:37 +00:00
|
|
|
|
2022-01-15 08:34:08 +00:00
|
|
|
define_link_targets = ''.join(f'[{name}]: {url}\n' for name, url in link_targets.items())
|
2022-01-15 05:09:37 +00:00
|
|
|
|
2022-01-15 08:34:08 +00:00
|
|
|
for filename in pkg_resources.resource_listdir(__name__, 'help'):
|
|
|
|
rootname, ext = os.path.splitext(filename)
|
|
|
|
|
|
|
|
if ext != '.md':
|
|
|
|
continue
|
2022-01-15 05:09:37 +00:00
|
|
|
|
2022-01-31 10:24:45 +00:00
|
|
|
file_content = pkg_resources.resource_string(__name__, 'help/' + filename).decode()
|
|
|
|
markdown = define_link_targets + file_content
|
|
|
|
assert file_content.startswith('# ')
|
|
|
|
title = file_content.split('\n', maxsplit=1)[0].strip('# ')
|
|
|
|
content: str = mistletoe.markdown(markdown)
|
|
|
|
|
|
|
|
if filename == 'about.md':
|
|
|
|
try:
|
|
|
|
content += pkg_resources.resource_string(__name__, 'templates/__common__/aboutextend.html').decode()
|
|
|
|
except FileNotFoundError:
|
|
|
|
pass
|
|
|
|
PAGES[rootname] = HelpPage(title=title, content=content)
|