From 86fddb161a4edfe0bf46ced4d1bd421d12beadb7 Mon Sep 17 00:00:00 2001 From: Daniel Baker Date: Tue, 13 Feb 2024 17:35:42 -0800 Subject: [PATCH] Decided against using numerical prefixes for the lessons. We can order them however we want in the mkdocs.yml file. --- lessons/{010-basic-types => basic-types}/config.nix | 0 lessons/{010-basic-types => basic-types}/eval.nix | 0 lessons/{010-basic-types => basic-types}/lesson.md | 0 lessons/{010-basic-types => basic-types}/options.nix | 0 lessons/{010-basic-types => basic-types}/run.sh | 0 lessons/{001-a-module => what-is-a-module}/lesson.md | 0 site/mkdocs.yml | 4 ++-- 7 files changed, 2 insertions(+), 2 deletions(-) rename lessons/{010-basic-types => basic-types}/config.nix (100%) rename lessons/{010-basic-types => basic-types}/eval.nix (100%) rename lessons/{010-basic-types => basic-types}/lesson.md (100%) rename lessons/{010-basic-types => basic-types}/options.nix (100%) rename lessons/{010-basic-types => basic-types}/run.sh (100%) rename lessons/{001-a-module => what-is-a-module}/lesson.md (100%) diff --git a/lessons/010-basic-types/config.nix b/lessons/basic-types/config.nix similarity index 100% rename from lessons/010-basic-types/config.nix rename to lessons/basic-types/config.nix diff --git a/lessons/010-basic-types/eval.nix b/lessons/basic-types/eval.nix similarity index 100% rename from lessons/010-basic-types/eval.nix rename to lessons/basic-types/eval.nix diff --git a/lessons/010-basic-types/lesson.md b/lessons/basic-types/lesson.md similarity index 100% rename from lessons/010-basic-types/lesson.md rename to lessons/basic-types/lesson.md diff --git a/lessons/010-basic-types/options.nix b/lessons/basic-types/options.nix similarity index 100% rename from lessons/010-basic-types/options.nix rename to lessons/basic-types/options.nix diff --git a/lessons/010-basic-types/run.sh b/lessons/basic-types/run.sh similarity index 100% rename from lessons/010-basic-types/run.sh rename to lessons/basic-types/run.sh diff --git a/lessons/001-a-module/lesson.md b/lessons/what-is-a-module/lesson.md similarity index 100% rename from lessons/001-a-module/lesson.md rename to lessons/what-is-a-module/lesson.md diff --git a/site/mkdocs.yml b/site/mkdocs.yml index 6edbe97..c29e3f8 100644 --- a/site/mkdocs.yml +++ b/site/mkdocs.yml @@ -8,10 +8,10 @@ nav: - Home: index.md - Lessons: - Getting Started: - - lessons/001-a-module/lesson.md + - lessons/what-is-a-module/lesson.md - lessons/module-evaluation/lesson.md - Types: - - lessons/010-basic-types/lesson.md + - lessons/basic-types/lesson.md - lessons/composed-types/lesson.md - lessons/submodule-types/lesson.md - Misc: