For prod deploys, we should just use docker command directly, as the image now automatically published to Docker registry with every push to this repo. make docker-run default on 8080 is useful for local debugging, as you'd be building image yourself and port 80 would require root on local machine.
# Pull docker image
docker pull vishesh/racketscript-playground
# Run playground webserver on port 8080
docker run -dp 80:80 -t vishesh/racketscript-playground
stchang
commented
3 years ago
For prod deploys, we should just use docker command directly, as the image now automatically published to Docker registry with every push to this repo.
make docker-rundefault on 8080 is useful for local debugging, as you'd be building image yourself and port 80 would require root on local machine.