user_help.py 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839
  1. from typing import Dict
  2. import os.path
  3. import pkg_resources
  4. import flask
  5. import mistletoe
  6. from . import get_setting
  7. from .version import GIT_URL
  8. HELP: Dict[str, str] = {}
  9. """ Maps a filename under help/ without the file extension to the rendered HTML. """
  10. def render(app: flask.Flask):
  11. """
  12. Renders the user documentation. Must be called after all Flask routes have been
  13. registered, because the documentation might try to link to them with Flask's `url_for`.
  14. We render the user documentation once on startup to improve performance.
  15. """
  16. for filename in pkg_resources.resource_listdir(__name__, 'help'):
  17. rootname, ext = os.path.splitext(filename)
  18. if ext != '.md':
  19. continue
  20. text = pkg_resources.resource_string(__name__, 'help/' + filename).decode()
  21. base_url = get_setting('server.base_url') or None
  22. # we specify base_url so that url_for works for base_urls that have a non-root path
  23. with app.test_request_context(base_url=base_url):
  24. # the request context is needed for Flask's url_for
  25. # (otherwise we'd need to set app.config['SERVER_NAME'],
  26. # which we don't want)
  27. interpolated = flask.render_template_string(text, get_setting=get_setting, searx_git_url=GIT_URL)
  28. HELP[rootname] = mistletoe.markdown(interpolated)