Skip to content

Tidy verify-exercises script #39

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
axtens merged 1 commit into from
Mar 11, 2026
Merged

Tidy verify-exercises script #39

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
35 changes: 22 additions & 13 deletions bin/verify-exercises
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,21 +26,30 @@
# fi
# done

tmpdir=$(mktemp -d)
echo "$tmpdir"
trap "rm -rf ${tmpdir}" EXIT
shopt -s nullglob
failed=()

# Verify the Practice Exercises
for dir in ./exercises/practice/*/; do
if [ -d $dir ]; then
slug=$(basename "${dir}")
echo $slug
cd "${dir}"
mv "${slug}.sno" "${slug}.aside"
slug=${dir%/}
slug=${slug##*/}
printf '== Checking practice exercise %s ==\n' "${slug}"
(
cd "${dir}" || exit
mv "${slug}.sno" "${tmpdir}"
trap "mv ${tmpdir}/${slug}.sno ${slug}.sno" EXIT
cp ".meta/example.sno" "${slug}.sno"
snobol4 test.sno
errcode=$?
mv "${slug}.aside" "${slug}.sno"
cd - > /dev/null
if [ $errcode -ne 0 ]; then
echo "Tests failed for ${slug} exercise."
exit 1
fi
fi
) || failed+=("${slug}")
done

if (( ${#failed[@]} != 0 )); then
printf '\nFailed exercises:\n'
printf ' %s\n' "${failed[@]}"
exit 1
else
printf '\nAll exercises passed!\n'
fi