Client

[SchrodingerZhu]

Client is a command-line tool like git:

• init --server=<server-ip:port>: pull the base layer and global config and prepare the environment

• next: fetch next project to grade

• pull <project name>: pull a project into local, when current project is not skipped/committed, this is not allowed.

  If the project is graded, the grading state will be pulled and the upper layer will be restored.

• skip: skip the current project and notice the server

• build: build the current project

• run: run the current project (This is only available after built)

• clean: clean up the current project, start from the beginning

• grade: give a grade to the current project.

• auto: build and run

• comment: open an editor to edit the comment for the current project

• attach --mode=<nspawn|firejail>: enter the sandbox

• commit: push the grading state to the server, including:

  • grade
  • comment
  • current step: need-grade|built|build-failed|success|failed
  • return code
  • stderr
  • stdout
  • client-id

  The commit will be stopped if remote server has a grading result. In the case of re-commit, use commit --override

[SchrodingerZhu]

We do not backup the upper layer now, it costs too much (both time and space)

[SchrodingerZhu]