grm

commit 45f77e73eff4bc121533a509a91085e4857ed720
parent b3211cbadb651f178588cbddd54a484359c1ad91
Author: krasjet <nil@krj.st>
Date:   Wed, 15 Jul 2020 02:38:52 -0700

ls: add listing for unlisted repos

Diffstat:
M
README.md
 | 
1
+
M
grm
 | 
9
++++++++-

2 files changed, 9 insertions(+), 1 deletion(-)
diff --git a/README.md b/README.md
@@ -76,6 +76,7 @@ commands:
     ls                   list all repos
     ls public            list public repos
     ls private           list private repos
+    ls hidden            list hidden (unlisted) repos
     rm repo1 [repo2..]   remove repos
     rc                   recompile stagit index
     rc repo1 [repo2..]   recompile stagit pages for repos,
diff --git a/grm b/grm
@@ -146,13 +146,19 @@ grm_list() {
     public)
       find "${repos_root}/." ! -name . -prune        \
         -type d -name "*.git"                        \
-        -exec test -e "{}/git-daemon-export-ok" \; \
+        -exec test -e "{}/git-daemon-export-ok" \;   \
+        -exec test ! -e "{}/stagit-no-index" \;      \
         -exec basename {} '.git' \; ;;
     private)
       find "${repos_root}/." ! -name . -prune        \
         -type d -name "*.git"                        \
         -exec test ! -e "{}/git-daemon-export-ok" \; \
         -exec basename {} '.git' \; ;;
+    hidden|unlisted)
+      find "${repos_root}/." ! -name . -prune        \
+        -type d -name "*.git"                        \
+        -exec test -e "{}/stagit-no-index" \;        \
+        -exec basename {} '.git' \; ;;
     *)
       find "${repos_root}/." ! -name . -prune \
         -type d -name "*.git"                 \
@@ -221,6 +227,7 @@ commands:
     ls                   list all repos
     ls public            list public repos
     ls private           list private repos
+    ls hidden            list hidden (unlisted) repos
     rm repo1 [repo2..]   remove repos
     rc                   recompile stagit index
     rc repo1 [repo2..]   recompile stagit pages for repos,