New VSCode Dev Container for TLA+

[kevinsullivan]

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]

[lemmy]

Thanks for doing this! Do most of your students have docker pre-installed?

[kevinsullivan]

Thanks. My students have docker desktop installed because I require it. Otherwise usually not. But this packaging had worked well for me for several years and classes of 100 first and second year students. It works. Biggest problem they have is with git. Kevin

…

On Wed, Oct 5, 2022, 6:39 PM Markus Alexander Kuppe < ***@***.***> wrote: Thanks for doing this! Do most of your students have docker pre-installed? — Reply to this email directly, view it on GitHub <#8 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAVEX5K5Y24KPA27JBAXL4DWBX7THANCNFSM6AAAAAAQ53RSTQ> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[kevinsullivan]

I deliver the Lean Prover to them this way, in discrete math class for second semester undergrads. On Wed, Oct 5, 2022, 6:50 PM Kevin Sullivan ***@***.***> wrote:

…

Thanks. My students have docker desktop installed because I require it. Otherwise usually not. But this packaging had worked well for me for several years and classes of 100 first and second year students. It works. Biggest problem they have is with git. Kevin On Wed, Oct 5, 2022, 6:39 PM Markus Alexander Kuppe < ***@***.***> wrote: > Thanks for doing this! Do most of your students have docker pre-installed? > > — > Reply to this email directly, view it on GitHub > <#8 (comment)>, > or unsubscribe > <https://github.com/notifications/unsubscribe-auth/AAVEX5K5Y24KPA27JBAXL4DWBX7THANCNFSM6AAAAAAQ53RSTQ> > . > You are receiving this because you authored the thread.Message ID: > ***@***.***> >