grm

commit d4ca74f812cfc4a2da7e670c3f404501c4ec78b6
parent 32f3ed038d9edcc14381a2f484b6e1403673b0e1
Author: krasjet <nil@krj.st>
Date:   Sun, 12 Jul 2020 20:07:08 -0700

help: some tips

Diffstat:
M
README.md
 | 
6
++++++
M
grm
 | 
7
+++++--

2 files changed, 11 insertions(+), 2 deletions(-)
diff --git a/README.md b/README.md
@@ -77,6 +77,12 @@ commands:
     help                 show help
 ```
 
+To recompile all repositories,
+
+```bash
+$ grm ls | xargs grm rc
+```
+
 If you have created a `git` user for managing git repositories, make sure the
 `git` user have write access to all the directories in the config, and run the
 script on the server as:
diff --git a/grm b/grm
@@ -211,9 +211,9 @@ Git repo manager, manage git repositories on self-hosted git server.
 
 If you have created a 'git' user for managing git repositories, this
 script should be run as:
-    doas -u git -- $prog_name <command> [<args>]
+    $ doas -u git -- $prog_name <command> [<args>]
 or
-    sudo -u git -- $prog_name <command> [<args>]
+    $ sudo -u git -- $prog_name <command> [<args>]
 
 commands:
     new                  create a new repository
@@ -226,6 +226,9 @@ commands:
     rc repo1 [repo2..]   recompile stagit pages for repositories,
                          and rebuild index
     help                 show help
+
+To recompile all repositories,
+    $ grm ls | xargs grm rc
 EOF
 }