chore(scripts): Fix sort order of sources files

sile-typesetter · Aug 19, 2024 · 7d0ec22 · 7d0ec22
1 parent ca25e5e
commit 7d0ec22
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/scripts/list_related_files.zsh.in b/scripts/list_related_files.zsh.in
@@ -15,11 +15,13 @@ case $cmd in
         ;;
     mds)
         alias git="@GIT@"
-        # Separate commands to set our own sort priority
-        git ls-files "$PROJECT.md" ||:
-        git ls-files "$PROJECT-*.md" ||:
-        git ls-files "$bookid.md" ||:
-        git ls-files "$bookid-**.md" ||:
+        alias sed="@SED@"
+        alias sort="@SORT@"
+        # wrangle our own sorting so NNN.md comes before NNN-foo/bar.md
+        git ls-files "$PROJECT.md" "$PROJECT-*.md" "$bookid.md" "$bookid-**.md" |
+            sed -E 's/\.md$/,md/' |
+            LANG=c sort -n |
+            sed -E 's/,md$/.md/'
         exit 0
         ;;
   srcid)