update devcontainer.json

This commit is contained in:
Sina Atalay
2024-04-03 20:56:39 +02:00
committed by GitHub
parent fe8dfb1648
commit a006b5860a

View File

@@ -15,12 +15,10 @@
// Use 'postCreateCommand' to run commands after the container is created.
// Clone the submodules, create a virtual environment, and install all the dependencies.
"postCreateCommand": [
"git submodule update --init",
"python3 -m venv .venv",
"source .venv/bin/activate",
"pip install .[dev, tests, docs]"
]
"postCreateCommand": {
"get_tinytex": "git submodule update --init",
"create_environment": "python3 -m venv .venv && source .venv/bin/activate && pip install .[dev,tests,docs]"
}
// Configure tool-specific properties.
// "customizations": {},