From 04e28aae5342a0fd4f41782f5912f784cec18b48 Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <github.com@lemmster.de>
Date: Wed, 9 Feb 2022 18:00:16 -0800
Subject: [PATCH] Add gitpod.io config

[IDE]
---
 .gitpod.yml | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 .gitpod.yml

diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 0000000..b8d29ff
--- /dev/null
+++ b/.gitpod.yml
@@ -0,0 +1,8 @@
+tasks:
+  - init: echo 'init script' # runs during prebuild
+    command: sudo ln -s workspace workspaces && sdk install ant
+
+vscode:
+  extensions:
+    - alygin.vscode-tlaplus-nightly
+    - vscjava.vscode-java-pack