-
Notifications
You must be signed in to change notification settings - Fork 72
Expand file tree
/
Copy pathconf.py
More file actions
109 lines (86 loc) · 3.36 KB
/
conf.py
File metadata and controls
109 lines (86 loc) · 3.36 KB
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
# Configuration file for the Sphinx documentation builder.
#
# This file only contains a selection of the most common options. For a full
# list see the documentation:
# https://www.sphinx-doc.org/en/master/usage/configuration.html
# -- Path setup --------------------------------------------------------------
# If extensions (or modules to document with autodoc) are in another directory,
# add these directories to sys.path here. If the directory is relative to the
# documentation root, use os.path.abspath to make it absolute, like shown here.
#
import os
import sys
sys.path.insert(0, os.path.abspath("."))
# -- Project information -----------------------------------------------------
project = "Introduction to version control with Git"
copyright = "CodeRefinery contributors"
author = "CodeRefinery contributors"
github_user = "coderefinery"
github_repo_name = "git-intro" # auto-detected from dirname if blank
github_version = "main"
conf_py_path = "/content/" # with leading and trailing slash
# -- General configuration ---------------------------------------------------
# Add any Sphinx extension module names here, as strings. They can be
# extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
# ones.
extensions = [
# githubpages just adds a .nojekyll file
"sphinx.ext.githubpages",
"sphinx_lesson",
# remove once sphinx_rtd_theme updated for contrast and accessibility:
"sphinx_rtd_theme_ext_color_contrast",
"sphinx_coderefinery_branding",
]
# MyST extensions
myst_enable_extensions = [
"colon_fence", # ::: can be used instead of ``` for better rendering
]
# Settings for myst_nb:
# https://myst-nb.readthedocs.io/en/latest/use/execute.html#triggering-notebook-execution
nb_execution_mode = "cache"
copybutton_exclude = ".linenos, .gp"
# Add any paths that contain templates here, relative to this directory.
# templates_path = ['_templates']
# List of patterns, relative to source directory, that match files and
# directories to ignore when looking for source files.
# This pattern also affects html_static_path and html_extra_path.
exclude_patterns = [
"examples",
"README*",
"_build",
"Thumbs.db",
".DS_Store",
"jupyter_execute",
"*venv*",
"img/gitink/README.md",
]
# -- Options for HTML output -------------------------------------------------
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
#
html_theme = "sphinx_rtd_theme"
# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,
# so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ["css"]
# HTML context:
from os.path import basename, dirname, realpath
html_context = {
"display_github": True,
"github_user": github_user,
# Auto-detect directory name. This can break, but
# useful as a default.
"github_repo": github_repo_name or basename(dirname(realpath(__file__))),
"github_version": github_version,
"conf_py_path": conf_py_path,
}
import os
if os.environ.get("GITHUB_REF", "") == "refs/heads/main":
html_js_files = [
(
"https://plausible.cs.aalto.fi/js/script.js",
{"data-domain": "coderefinery.github.io", "defer": "defer"},
),
]
def setup(app):
app.add_css_file("style.css")