grm

commit 0f9f2e07eafa5611bc0b327469b4592ce43599e8
parent 054fd413c31cb17374f7d009bfe3ca94d790d330
Author: krasjet <nil@krj.st>
Date:   Tue, 14 Jul 2020 03:37:01 -0700

rc: case insensitive sort

Diffstat:

M

grm

|

2

+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/grm b/grm
@@ -60,7 +60,7 @@ rebuild_index() {
     -type d -name "*.git"                     \
     -exec test -e "{}/git-daemon-export-ok" \;\
     -print |                                  \
-    sort | xargs stagit-index > "${web_root}/index.html" && \
+    sort -f | xargs stagit-index > "${web_root}/index.html" && \
   echo "[index] done!"
 }