search

exercism / idris

Exercism exercises in Idris.
https://exercism.org/tracks/idris
MIT License
32 stars 18 forks source link

bin/create-exercise.sh #139

Closed keiravillekode closed 4 months ago

keiravillekode commented 4 months ago

This is a simple script that creates empty source files for an exercise, and creates the relevant config files.

There are quite a few tracks with scripts like this, e.g.

8th - bin/add-exercise ballerina - bin/add-exercise common-lisp - bin/lisp_exercise_generator.py jq - bin/add-exercise vlang - bin/bootstrap_practice_exercise.sh wren - bin/create-exercise

(For my own use, I write something similar for each track I contribute exercises to.)

keiravillekode commented 4 months ago

tags gets moved to the bottom of config.json by jq. (To see this, revert the config.json change in this PR, run bin/create-exercise.sh zebra-puzzle and see tags dragged back to the bottom of config.json.)

keiravillekode commented 4 months ago

The script prompts for a difficulty number.

For assembly language tracks, I typically add 2 to the median from other tracks.

If some exercises are difficult to solve with Idris, we might similarly rate them more highly.

ErikSchierboom commented 4 months ago

@keiravillekode You can further simplify this script as configlet create now supports --author <github_username> and --difficulty <difficulty> arguments. Using them means you don't need jq to edit the config files. See https://github.com/exercism/arturo/blob/main/bin/add-exercise for an example on how to use it.