commit d479b7717b7957804d817f9331805bb5fd5cff5a parent 19c046c9aa4bbbb7eb56884f0a6b40404d5114d0 Author: Andrew Laack <andrew@laack.co> Date: Sun, 30 Aug 2026 16:21:21 -0500 Allow specification of different directories for courses. Diffstat:
| M | learning/bin/shared.ml | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/learning/bin/shared.ml b/learning/bin/shared.ml @@ -1 +1 @@ -let course_dir = "../courses/" +let course_dir = if Array.length Sys.argv > 1 then Sys.argv.(1) ^ "/" else "../courses/"