diff --git a/.devcontainer/downstream-docker-sagemath-sagemath-develop/devcontainer.json b/.devcontainer/downstream-docker-sagemath-sagemath-develop/devcontainer.json new file mode 100644 index 00000000000..ba8b0752de4 --- /dev/null +++ b/.devcontainer/downstream-docker-sagemath-sagemath-develop/devcontainer.json @@ -0,0 +1,18 @@ +// See https://aka.ms/devcontainer.json for format details. +{ + "name": "sagemath/sagemath:develop Docker", + "image": "sagemath/sagemath:develop", + "containerEnv": { + "MAKE": "make -j4" + }, + "onCreateCommand": ".devcontainer/onCreate.sh", + // * 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. + "updateContentCommand": "if [ -d pkgs/sagemath-standard ]; then make configure && ./configure --prefix=/home/sage/sage/local --with-sage-venv; else echo 'Edit .devcontainer/devcontainer.json (updateContentCommand) to run project-specific startup commands'; fi", + "extensions": [ + "ms-python.python" + ] +} diff --git a/.devcontainer/downstream-docker-sagemath-sagemath/devcontainer.json b/.devcontainer/downstream-docker-sagemath-sagemath/devcontainer.json new file mode 100644 index 00000000000..266ac63fc68 --- /dev/null +++ b/.devcontainer/downstream-docker-sagemath-sagemath/devcontainer.json @@ -0,0 +1,18 @@ +// See https://aka.ms/devcontainer.json for format details. +{ + "name": "sagemath/sagemath Docker", + "image": "sagemath/sagemath", + "containerEnv": { + "MAKE": "make -j4" + }, + "onCreateCommand": ".devcontainer/onCreate.sh", + // * 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. + "updateContentCommand": "if [ -d pkgs/sagemath-standard ]; then make configure && ./configure --prefix=/home/sage/sage/local --with-sage-venv; else echo 'Edit .devcontainer/devcontainer.json (updateContentCommand) to run project-specific startup commands'; fi", + "extensions": [ + "ms-python.python" + ] +}