From 61474ee2e521029bc1dd3548f75c3110ded590a4 Mon Sep 17 00:00:00 2001
From: Thomas Pani <thomas.pani@gmail.com>
Date: Wed, 22 May 2024 19:55:40 +0200
Subject: [PATCH] Include apalache in PATH env, install TLA+ VSCode extension

---
 solarkraft/.devcontainer/Dockerfile        | 3 ++-
 solarkraft/.devcontainer/devcontainer.json | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/solarkraft/.devcontainer/Dockerfile b/solarkraft/.devcontainer/Dockerfile
index 40db0636..da398ba3 100644
--- a/solarkraft/.devcontainer/Dockerfile
+++ b/solarkraft/.devcontainer/Dockerfile
@@ -1,3 +1,4 @@
 # Force platform to linux/amd64; there is no Z3 release for linux/arm64:
 # https://github.com/Z3Prover/z3/issues/7201
-FROM --platform=linux/amd64 mcr.microsoft.com/devcontainers/typescript-node:20-bookworm
\ No newline at end of file
+FROM --platform=linux/amd64 mcr.microsoft.com/devcontainers/typescript-node:20-bookworm
+ENV PATH="/opt/apalache/bin/:${PATH}"
\ No newline at end of file
diff --git a/solarkraft/.devcontainer/devcontainer.json b/solarkraft/.devcontainer/devcontainer.json
index d12ba28e..cd2201c9 100644
--- a/solarkraft/.devcontainer/devcontainer.json
+++ b/solarkraft/.devcontainer/devcontainer.json
@@ -15,7 +15,7 @@
 	"customizations": {
 		"vscode": {
 			"extensions": [
-				"alygin.vscode-tlaplus",
+				"alygin.vscode-tlaplus-nightly",
 				"vscodevim.vim"
 			],
 			"settings": {