diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 11273f5..68a968d 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -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": {},