grm

git repo manager for self-hosted git servers
git clone git://sink.krj.st/grm
Log | Files | Refs | README | LICENSE
commit d45a7597cff78d87bf12f08479a19adf7e666ada
parent 61b58e179779b51463b15645ee09e83e398f92bd
Author: krasjet <nil@krj.st>
Date:   Tue, 14 Jul 2020 17:26:51 -0700

rm: wait for children before exiting

Diffstat:

Mgrm | 1+


1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/grm b/grm
@@ -138,6 +138,7 @@ grm_remove() {
   done
   # only rebuild index if stagit exists
   command -v stagit-index >/dev/null && rebuild_index &
+  wait
 }
 
 grm_list() {