You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

30 lines
534 B

#!/usr/bin/env bash
# Unofficial Bash Strict Mode
set -euo pipefail
IFS='
'
mkdir student
cd student
if test "$REPOSITORY"; then
password=$(cat)
4 years ago
git clone --quiet --depth=1 --shallow-submodules http://root:"${password}"@"$REPOSITORY" .
else
first_file=$(echo "$EXPECTED_FILES" | cut -d' ' -f1)
4 years ago
mkdir -p "$(dirname $first_file)"
cat > "$first_file"
4 years ago
chmod +x "$first_file"
fi
cd
cp -rT /app .
if ! test -f ${EXERCISE}_test.sh; then
echo No test file found for the exercise : "$EXERCISE"
exit 1
fi
bash ${EXERCISE}_test.sh