diff --git a/examples/test-job.sh b/examples/test-job.sh new file mode 100755 index 0000000..6ea240b --- /dev/null +++ b/examples/test-job.sh @@ -0,0 +1,36 @@ +#!/bin/bash + +#SBATCH --nodes=1 +#SBATCH --ntasks-per-node=1 +#SBATCH --exclusive +#SBATCH --partition=kr + +tmp_dir=/home/pluehne/tmp + +mkdir -p "$tmp_dir" +dir="$tmp_dir"/"$JOB_BRANCH_NAME" + +if [[ -d $dir ]] +then + rm -rf "$dir" +fi + +mkdir -p "$dir" + +pushd "$dir" + git clone --single-branch --branch="$JOB_BRANCH_NAME" "$GIT_REMOTE_URL" repository + git config user.name "Potassco Bot" + git config user.email "bot@potassco.org" + + pushd repository + echo "$JOB_BRANCH_NAME" > test-output + sleep 10 + start_time=$(date +%s%N) + git add test-output + git commit -m "Test update" + git push + end_time=$(date +%s%N) + popd + + echo $(expr "$end_time" - "$start_time") >> "$tmp_dir"/overhead +popd