Skip to content

Getting Started: Docker

Jump to bottom Edit New page
Wonsup Yoon edited this page Feb 24, 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 -it -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade 1
$ docker run -it -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade 2
$ docker run -it -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade 3
$ docker run -it -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade 4
  • Using RANDOM_SEED 
$ docker run --env RANDOM_SEED=1234 -it -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade 1
$ docker run --env RANDOM_SEED=1234 -it -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade 2
$ docker run --env RANDOM_SEED=1234 -it -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade 3
$ docker run --env RANDOM_SEED=1234 -it -v$PWD/workspace/app/kens:/submission:ro ghcr.io/anlab-kaist/kens:latest grade 4
Add a custom footer
Add a custom sidebar

Clone this wiki locally