Skip to content

Getting Started: Docker

Jump to bottom Edit New page
Wonsup Yoon edited this page Jun 4, 2021 · 8 revisions

Prerequisites

Install Docker

Prepare project

  1. Pull latest Docker image
$ docker pull ghcr.io/anlab-kaist/kens:latest
  1. Make empty workspace directory
  2. Run Docker container
docker run -it -v$PWD/workspace:/workspace ghcr.io/anlab-kaist/kens:latest dev
  1. Now, project files are available in the workspace directory

Build and test

See Getting Started: CLI (Linux)

Grading

We use Docker for grading

  • Grading parts
$ docker run -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part1
$ docker run -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part2
$ docker run -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part3
$ docker run -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part4
$ docker run -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part1-unreliable
$ docker run -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part2-unreliable
$ docker run -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part3-unreliable
$ docker run -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part4-unreliable
$ docker run -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade routing all
  • Using RANDOM_SEED 
$ docker run --env RANDOM_SEED=1234 -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part1
$ docker run --env RANDOM_SEED=1234 -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part2
$ docker run --env RANDOM_SEED=1234 -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part3
$ docker run --env RANDOM_SEED=1234 -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part4
$ docker run --env RANDOM_SEED=1234 -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part1-unreliable
$ docker run --env RANDOM_SEED=1234 -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part2-unreliable
$ docker run --env RANDOM_SEED=1234 -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part3-unreliable
$ docker run --env RANDOM_SEED=1234 -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade kens part4-unreliable
Add a custom footer
Add a custom sidebar

Clone this wiki locally