// .devcontainer/devcontainer.json {
"name": "LaTeX&SageTex&Chromacode Devcontainer", "dockerFile": "./Dockerfile",
"customizations": { "vscode": { "settings": { "terminal.integrated.shell.linux": "/bin/bash" }, "extensions": [ "james-yu.latex-workshop", "microsoft.jupyter", "ms-toolsai.jupyter", "ms-python.python" ] } } }