https://github.com/allofphysicsgraph/tlaplus
Containerized TLA+
https://github.com/allofphysicsgraph/tlaplus
Last synced: 3 months ago
JSON representation
Containerized TLA+
- Host: GitHub
- URL: https://github.com/allofphysicsgraph/tlaplus
- Owner: allofphysicsgraph
- Created: 2022-10-08T14:15:32.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2022-10-10T23:41:58.000Z (over 3 years ago)
- Last Synced: 2025-01-13T14:52:46.682Z (over 1 year ago)
- Language: TLA
- Size: 4.88 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Containerized TLA+
Using the official release from
as stand-alone (not integrated with Visual Studio Code or Jupyter).
# TLA+ software
# Other examples of containerized TLA+
* Integrated with Jupyter: and
* Compile from source: . Caveat: from 2018 and relies on out-of-date URLs for build
* Integrated with Visual Studio Code . Based on Ubuntu 22.04.
* forked to
## Uninstalling VSCode on Mac:
as per
* stop running containers: `docker kill `
* remove image from docker: `docker rmi -f `
* remove VSCode from Applications
* `cd $HOME/Library/Application Support/; rm -rf Code`
* `cd ~; rm -rf .vscode`
For more discussion about containerization, see .
# access a Java GUI inside Docker using VNC