JOJ/JOJ3
25
6
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases Wiki Activity

WIP: feat: scoreboard (#15) #31

Closed
张佳澈520370910044 wants to merge 17 commits from scoreboard into master
pull from: scoreboard
merge into: JOJ:master
Conversation 1 Commits 17 Files Changed 5 +2 -2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 1d135c7cab - Show all commits

4
scripts/submit_scoreboard.sh
View File

@ -3,9 +3,9 @@ export ORIG_HOME=$(grep ^${USER}: /etc/passwd |cut -d : -f 6)
PATH=$PATH:$ORIG_HOME/.local/bin PATH=$PATH:$ORIG_HOME/.local/bin
if echo "${DRONE_REPO_NAME}" | grep -q '-'; then if echo "${DRONE_REPO_NAME}" | grep -q '-'; then
SUBMITTER_NAME=$(echo "{DRONE_REPO_NAME}" | cut -d'-' -f1); SUBMITTER_NAME=$(echo "${DRONE_REPO_NAME}" | cut -d'-' -f1);
else else
SUBMITTER_NAME={DRONE_REPO_NAME}; SUBMITTER_NAME=${DRONE_REPO_NAME};
fi fi
mkdir repos mkdir repos