Add gitpod.io config

[IDE]
tlaplus · Feb 10, 2022 · 04e28aa · 04e28aa
1 parent 518ab57
commit 04e28aa
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.gitpod.yml 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