JOJ/runner-images
21
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: use hostname if $1 not present
All checks were successful
push / build (push) Successful in 50s
Details

Browse Source
This commit is contained in:
张泊明518370910136 2025-06-25 04:37:40 -04:00
parent 15050ce00f
commit cd81d3bd72
Signed by: 张泊明518370910136
GPG Key ID: CA088E6D9284F870
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
bin/joj3-forge-convert
View File

@ -2,11 +2,10 @@
set -ex set -ex
if [ -z "$1" ]; then if [ -z "$1" ]; then
echo "error: course name is required" >&2 COURSE=$(hostname | cut -d'/' -f2 | cut -d'-' -f1)
exit 1 else
fi
COURSE="$1" COURSE="$1"
fi
CONFIG_REPO_PATH="/home/tt/.cache/$COURSE-config" CONFIG_REPO_PATH="/home/tt/.cache/$COURSE-config"
GRADING_REPO_PATH="/home/tt/.cache/$COURSE-joj" GRADING_REPO_PATH="/home/tt/.cache/$COURSE-joj"
GIT_USER="bot-$COURSE" GIT_USER="bot-$COURSE"