From cf926cd441f62eec482692374a6667c4c692bbde Mon Sep 17 00:00:00 2001 From: Boming Zhang Date: Wed, 30 Oct 2024 18:26:29 -0400 Subject: [PATCH] feat: remove joj3-teapot --- .gitignore | 4 ++-- Dockerfile | 4 ++-- bin/.gitkeep | 0 bin/joj3-teapot | 32 -------------------------------- 4 files changed, 4 insertions(+), 36 deletions(-) create mode 100644 bin/.gitkeep delete mode 100755 bin/joj3-teapot diff --git a/.gitignore b/.gitignore index 572fc75..3e62e28 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,2 @@ -/bin/* -!/bin/joj3-teapot +/bin/joj3 +/bin/repo-health-checker diff --git a/Dockerfile b/Dockerfile index d16b72f..862b2e9 100644 --- a/Dockerfile +++ b/Dockerfile @@ -17,8 +17,8 @@ RUN sed -i s@/deb.debian.org/@/mirrors.tuna.tsinghua.edu.cn/@g /etc/apt/sources. # TODO: change it to FOCS gitea mirror for deployment RUN pip install git+https://ghp.ci/https://github.com/BoYanZh/Joint-Teapot --break-system-packages -# install joj3 & repo-health-checker & teapot wrapper -COPY bin/joj3 bin/repo-health-checker bin/joj3-teapot /usr/local/bin/ +# install joj3 & repo-health-checker +COPY bin/joj3 bin/repo-health-checker /usr/local/bin/ USER student WORKDIR /home/student diff --git a/bin/.gitkeep b/bin/.gitkeep new file mode 100644 index 0000000..e69de29 diff --git a/bin/joj3-teapot b/bin/joj3-teapot deleted file mode 100755 index 2a771b2..0000000 --- a/bin/joj3-teapot +++ /dev/null @@ -1,32 +0,0 @@ -#!/usr/bin/bash - -set -e - -export LOG_FILE_PATH=/home/tt/.cache/joint-teapot-debug.log -export _TYPER_STANDARD_TRACEBACK=1 -ENV_FILE_PATH=/home/tt/.config/teapot/teapot.env -JOJ3_RESULT_FILE_PATH=/tmp/joj3_result.json -GRADING_REPO_NAME="$1" -SUBMITTER_NAME="$2" -SUBMITTER_REPO_NAME=$(echo "$3" | cut -d'/' -f2) -RUN_NUMBER="$4" - -/usr/local/bin/joint-teapot joj3-scoreboard \ - $ENV_FILE_PATH \ - $JOJ3_RESULT_FILE_PATH \ - $SUBMITTER_NAME \ - $GRADING_REPO_NAME \ - $SUBMITTER_REPO_NAME \ - $RUN_NUMBER -/usr/local/bin/joint-teapot joj3-failed-table \ - $ENV_FILE_PATH \ - $JOJ3_RESULT_FILE_PATH \ - $SUBMITTER_NAME \ - $GRADING_REPO_NAME \ - $SUBMITTER_REPO_NAME \ - $RUN_NUMBER -/usr/local/bin/joint-teapot joj3-create-result-issue \ - $ENV_FILE_PATH \ - $JOJ3_RESULT_FILE_PATH \ - $SUBMITTER_REPO_NAME \ - $RUN_NUMBER