grm

commit e96f38f61f481478a16c10f4afb74e985a6f9742
parent 31cf20c6d419175284364b3e30ac7549010ff616
Author: krasjet <nil@krj.st>
Date:   Sun, 12 Jul 2020 05:29:02 -0700

rm: only rebuild index when stagit exists

Diffstat:
M
grm
 | 
3
++-

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/grm b/grm
@@ -126,7 +126,8 @@ grm_remove() {
       rm -rf "${web_root:?}/${repo:?}" || continue;
     fi
   done
-  rebuild_index &
+  # only rebuild index if stagit exists
+  command -v stagit-index >/dev/null && rebuild_index &
 }
 
 grm_list() {