1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
# This file is part of Hypothesis, which may be found at
# https://github.com/HypothesisWorks/hypothesis/
#
# Copyright the Hypothesis Authors.
# Individual contributors are listed in AUTHORS.rst and the git log.
#
# This Source Code Form is subject to the terms of the Mozilla Public License,
# v. 2.0. If a copy of the MPL was not distributed with this file, You can
# obtain one at https://mozilla.org/MPL/2.0/.
from os.path import basename
SITENAME = AUTHOR = "Hypothesis"
SITESUBTITLE = "The property-based testing library for Python"
# SITEURL = "https://hypothesis.works"
PATH = "content"
TIMEZONE = "UTC"
DELETE_OUTPUT_DIRECTORY = True
# Feed generation is usually not desired when developing
FEED_ALL_ATOM = None
CATEGORY_FEED_ATOM = None
TRANSLATION_FEED_ATOM = None
AUTHOR_FEED_ATOM = None
AUTHOR_FEED_RSS = None
ARTICLE_URL = "{category}/{slug}/"
ARTICLE_SAVE_AS = "{category}/{slug}/index.html"
DEFAULT_CATEGORY = "articles"
DISPLAY_PAGES_ON_MENU = False
CATEGORY_URL = "articles/"
CATEGORY_SAVE_AS = "articles/index.html"
FILENAME_METADATA = r"(?P<date>\d{4}-\d{2}-\d{2})-(?P<slug>.+)"
THEME = "./theme/"
STATIC_PATHS = [
"../../brand/favicon.ico",
"../../brand/dragonfly-rainbow.svg",
]
EXTRA_PATH_METADATA = {k: {"path": basename(k)} for k in STATIC_PATHS}
PROFILE_IMAGE_URL = "/dragonfly-rainbow.svg"
MENUITEMS = (
("Articles", "/articles"),
("Documentation", "https://hypothesis.readthedocs.io/en/latest/"),
("GitHub", "https://github.com/HypothesisWorks/hypothesis/"),
("PyPI", "https://pypi.org/project/hypothesis/"),
)
DEFAULT_PAGINATION = False
# same as the default from https://docs.getpelican.com/en/latest/settings.html#MARKDOWN,
# but with use_pygments = False, since we use prism.js for syntax highlighting
# instead.
MARKDOWN = {
"extension_configs": {
"markdown.extensions.codehilite": {
"use_pygments": False,
"css_class": "highlight",
},
"markdown.extensions.extra": {},
"markdown.extensions.meta": {},
},
"output_format": "html5",
}
# Uncomment following line if you want document-relative URLs when developing
# RELATIVE_URLS = True
|
