Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
.devcontainer/downstream-docker-cocalc/devcontainer.json: Use onCreat…
Browse files Browse the repository at this point in the history
…eCommand, updateContentCommand
  • Loading branch information
Matthias Koeppe committed Aug 20, 2022
1 parent f48d911 commit 79c3bcb
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions .devcontainer/downstream-docker-cocalc/devcontainer.json
Original file line number Diff line number Diff line change
Expand Up @@ -5,16 +5,14 @@
"containerEnv": {
"MAKE": "make -j4"
},
// Run commands after the container is created.
// libgmp.a is broken and leads to a build failure of ecm.
"postCreateCommand": ".devcontainer/post_create.sh && rm -f /usr/local/sage/local/lib/libgmp.a",
// Run commands after the container is started.
"onCreateCommand": ".devcontainer/post_create.sh && rm -f /usr/local/sage/local/lib/libgmp.a",
// * If the workspace directory looks like a copy of the Sage source tree (SAGE_ROOT):
// - it bootstraps the Sage distribution,
// - sets the symlink ``venv`` as expected,
// * Otherwise, it does nothing. This is so that users can copy this devcontainer.json file as is
// into their projects.
"postStartCommand": "if [ -d pkgs/sagemath-standard ]; then make configure && ./configure --enable-build-as-root --prefix=/usr/local/sage/local --with-sage-venv; else echo 'Edit .devcontainer/devcontainer.json (postStartCommand) to run project-specific startup commands'; fi",
"updateContentCommand": "if [ -d pkgs/sagemath-standard ]; then make configure && ./configure --enable-build-as-root --prefix=/usr/local/sage/local --with-sage-venv; else echo 'Edit .devcontainer/devcontainer.json (updateContentCommand) to run project-specific startup commands'; fi",
"extensions": [
"ms-python.python"
]
Expand Down

0 comments on commit 79c3bcb

Please sign in to comment.