Skip to content

Commit 0c03340

Browse files
committed
config stuff i dont care about
1 parent 3264d0c commit 0c03340

File tree

3 files changed

+7
-3
lines changed

3 files changed

+7
-3
lines changed

.devcontainer.json

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,9 @@
1515
"name": "PreTeXt-Codespaces",
1616

1717
// This Docker image includes some LaTeX support, but is still not to large. Note that if you keep your codespace running, it will use up your GitHub free storage quota. Additional options are listed below.
18-
"image": "oscarlevin/pretext:small",
18+
// "image": "oscarlevin/pretext:small",
1919
// If you need to generate more complicated assets (such as sageplots) or use additional fonts when building to PDF, comment out the above line and uncomment the following line.
20-
// "image": "oscarlevin/pretext:full",
20+
"image": "oscarlevin/pretext:full",
2121
// If you only intend to build for web and don't have any latex-image generated assets, you can use a smaller image:
2222
// "image": "oscarlevin/pretext:lite",
2323

@@ -26,6 +26,9 @@
2626
"ghcr.io/devcontainers/features/github-cli:1": {}
2727
},
2828

29+
// Respect the project's designated dependencies
30+
"postCreateCommand": "pip install -r requirements.txt",
31+
2932
// Port forwarding
3033
// ---------------
3134
// This is needed by the CodeChat Server.

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,4 @@ published
99
cli.log
1010
.error_schema.log
1111
sphinx_settings.json
12+
/logs

codechat_config.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ output_path: output/web
4646
# - ``{output_path}``: the ``output_path`` above, but as an absolute path.
4747
# - ``{sys_executable}``: the value of the running Python's `sys.executable <https://docs.python.org/3/library/sys.html#sys.executable>`_.
4848
# - ``{xml_id}``: The value of the the first ``xml:id`` attribute in the currently open file.
49-
args: "{sys_executable} -m pretext build web --xmlid {xml_id}"
49+
args: "{sys_executable} -m pretext build web --xmlid {xml_id} --no-knowls"
5050

5151
# ``html_ext``: optional; defaults to ``.html``. The extension used by this renderer when generating HTML files.
5252
#html_ext: .html

0 commit comments

Comments
 (0)