123456789101112131415161718192021222324252627282930313233343536373839 |
- from typing import Dict
- import os.path
- import pkg_resources
- import flask
- import mistletoe
- from . import get_setting
- from .version import GIT_URL
- HELP: Dict[str, str] = {}
- """ Maps a filename under help/ without the file extension to the rendered HTML. """
- 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.
- """
- for filename in pkg_resources.resource_listdir(__name__, 'help'):
- rootname, ext = os.path.splitext(filename)
- if ext != '.md':
- continue
- text = pkg_resources.resource_string(__name__, 'help/' + filename).decode()
- base_url = get_setting('server.base_url') or None
-
- with app.test_request_context(base_url=base_url):
-
-
-
- interpolated = flask.render_template_string(text, get_setting=get_setting, searx_git_url=GIT_URL)
- HELP[rootname] = mistletoe.markdown(interpolated)
|