From a006b5860aba856a1868970fa3fdfaac36d0c754 Mon Sep 17 00:00:00 2001
From: Sina Atalay <79940989+sinaatalay@users.noreply.github.com>
Date: Wed, 3 Apr 2024 20:56:39 +0200
Subject: [PATCH] update devcontainer.json

---
 .devcontainer/devcontainer.json | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

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": {},