Skip to content

oden-lang/playground

Repository files navigation

Oden Playground

Run

You need gb to build the server.

gb build
ODEN_CLI=path/to/bin/oden bin/playground
# or with docker-compose:
docker-compose build web
docker-compose up web

Release

First build and push a new tag to the Docker Hub.

docker build -t owickstrom/oden-playground:<VERSION> .
docker push owickstrom/oden-playground:<VERSION>

Then SSH into the AWS server and run ~/update-oden-playground.sh.

bash update-oden-playground.sh
Which tag of the Oden playground would you like to run?
<VERSION>
...

About

Learn Oden in your browser!

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 3

  •  
  •  
  •