From 6add7f793aa7b1cc641d25707783536c5c235696 Mon Sep 17 00:00:00 2001
From: Gabriele Messina <gabryelemessina99@gmail.com>
Date: Tue, 14 Nov 2023 20:04:30 +0000
Subject: [PATCH] Add devcontainer.json for easily start a github codespace for
 the project

---
 .devcontainer/devcontainer.json | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..25c57cb
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,11 @@
+{
+    "name":"qutes_lang_codespace", 
+    "image":"mcr.microsoft.com/devcontainers/universal:2",
+    "customizations": {
+        "vscode": {
+            "extensions": ["ms-python.python", "mike-lischke.vscode-antlr4", "ms-python.vscode-pylance", "ms-python.pylint", "Gruntfuggly.todo-tree"]
+        }
+    },
+    "postCreateCommand": "pip install --user -r requirements.txt --upgrade",
+    "postStartCommand": "antrl4 -Dlanguage=Python3 -message-format antlr -o ./src/qutes_antlr -listener -visitor -Xexact-output-dir ./specification/grammar/qutes_lexer.g4 & antrl4 -Dlanguage=Python3 -message-format antlr -o ./src/qutes_antlr -listener -visitor -Xexact-output-dir ./specification/grammar/qutes_parser.g4"
+}
\ No newline at end of file