Browse Source

update

pull/533/head
5 years ago committed by xpetit
parent
commit
a3f45c2d1c
  1. 7
      go/tests/entrypoint.sh
  2. 8
      sh/tests/entrypoint.sh

7
go/tests/entrypoint.sh

@ -10,13 +10,10 @@ cd src/student
if test "$REPOSITORY"; then if test "$REPOSITORY"; then
password=$(cat) password=$(cat)
if ! git clone --depth=1 --shallow-submodules http://root:"${password}"@"$REPOSITORY" . 2>/dev/null; then git clone --quiet --depth=1 --shallow-submodules http://root:"${password}"@"$REPOSITORY" .
echo Could not clone your repository
exit 1
fi
else else
first_file=$(echo "$EXPECTED_FILES" | cut -d' ' -f1) first_file=$(echo "$EXPECTED_FILES" | cut -d' ' -f1)
mkdir "$(dirname $first_file)" mkdir -p "$(dirname $first_file)"
cat > "$first_file" cat > "$first_file"
fi fi

8
sh/tests/entrypoint.sh

@ -10,14 +10,12 @@ cd student
if test "$REPOSITORY"; then if test "$REPOSITORY"; then
password=$(cat) password=$(cat)
if ! git clone --depth=1 --shallow-submodules http://root:"${password}"@"$REPOSITORY" . 2>/dev/null; then git clone --quiet --depth=1 --shallow-submodules http://root:"${password}"@"$REPOSITORY" .
echo Could not clone your repository
exit 1
fi
else else
first_file=$(echo "$EXPECTED_FILES" | cut -d' ' -f1) first_file=$(echo "$EXPECTED_FILES" | cut -d' ' -f1)
mkdir "$(dirname $first_file)" mkdir -p "$(dirname $first_file)"
cat > "$first_file" cat > "$first_file"
chmod +x "$first_file"
fi fi
cd cd

Loading…
Cancel
Save