ewd998
ewd998 copied to clipboard
New VSCode Dev Container for TLA+
I have a vague memory of you asking for help to produce a VSCode dev container for TLA+. I've created one, borrowing the basic set-up (but not your commit history) from your installer shell script. The container runs Ubuntu 22.04 and supports auto-reparse-on-file-save, LaTeX pretty printing and preview, graphviz visualization, all the usual tools, etc.
I did this mainly for my own students' use, but figured you might be interested in having a look. It's on GitHub if you want to take a look: https://github.com/kevinsullivan/TLAPlusDocker. Fork it, clone your fork into a container in VSCode, let the container build, and you're up and running. Comes with working red light example.
Kevin Sullivan University of Virginia Computer Science [email protected]