webminz/corrlang-experiment-nogui repository overview

To get started, run:

docker run -d \
  --name corrlang \
  --rm \
  -p 8080:8080 \
  -m="1G" \
  --cpus="2" webminz/corrlang-experiment-nogui:latest

Then, open your browser on http://localhost:8080⁠, which will bring you directly into web-based IDE environment with a README file telling you where to go next.

Once, you are done, you stop the container with docker stop corrlang.

⁠Notes

• If you have already something running on your local machine port 8080, plase re-map container port 8080 to something else, e.g. -p 9001:8080
• If you experience that the web-based IDE is somewhat slow and laggy, consider upgrading the memory (-m) and/or CPU (--cpus) resource constraints. Also if you have an older machine, you might have to downgrade the requirements a bit. But, we recommend at least 1G dedicated memory to run this container smootly
• You may also expose container ports 4011, 4012, and 4013 for exercise 3 if you want.