commit d4b59c8c05f9eb2f6d6bd1b9a432fd60598e91a9
parent 8f9220ce44b34a5dae43d4fdcc40dcb947a36158
Author: kst
Date: 2020-07-18 00:11Z
minor tweaks to styles
Diffstat:
| M | README | | | 69 | +++++++++++++++++++++++++++++++++++---------------------------------- |
| M | grm | | | 2 | +- |
2 files changed, 36 insertions(+), 35 deletions(-)
diff --git a/README b/README
@@ -44,45 +44,46 @@ the hook itself needs some further configuration.
For the default settings, your home directory will have the following structure
- ~
- ├── bin
- │ ├── grm
- │ ├── stagit
- │ ├── stagit-index
- │ ├── stagit-post-receive
- │ └── ...
- └── public_html
- ├── git <-- your stagit index page
- │ ├── index.html
- │ └── ...
- ├── public-repo.git
- │ ├── branches
- │ ├── head
- │ └── ...
- └── unlisted-repo.git <-- won't appear on the index page of stagit
- ├── branches
- ├── HEAD
- ├── ...
- └── stagit-no-index
+ ~
+ ├── bin
+ │ ├── grm
+ │ ├── stagit
+ │ ├── stagit-index
+ │ ├── stagit-post-receive
+ │ └── ...
+ ├── public_html
+ │ ├── git <-- your stagit index page
+ │ │ ├── index.html
+ │ │ └── ...
+ │ ├── public-repo.git
+ │ │ ├── branches
+ │ │ ├── head
+ │ │ └── ...
+ │ └── unlisted-repo.git <-- won't appear on the index page of stagit
+ │ ├── branches
+ │ ├── HEAD
+ │ ├── ...
+ │ └── stagit-no-index
+ └── ...
Usage
-----
$ grm help
- usage: grm <command> [<args>]
-
- Git repo manager, tilde edition
-
- commands:
- new create a new repo
- info repo_name display metadata of the repo
- ls list all repos
- rm repo1 [repo2..] remove repos
- rc recompile stagit index
- rc repo1 [repo2..] recompile stagit pages for repos,
- and recompile index
- rca recompile all repos
- help show help
+ usage: grm <command> [<args>]
+
+ git repo manager, tilde edition
+
+ commands:
+ new create a new repo
+ info repo_name display metadata of the repo
+ ls list all repos
+ rm repo1 [repo2..] remove repos
+ rc recompile stagit index
+ rc repo1 [repo2..] recompile stagit pages for repos,
+ and recompile index
+ rca recompile all repos
+ help show help
Examples
diff --git a/grm b/grm
@@ -193,7 +193,7 @@ show_help() {
cat << EOF
usage: $prog_name <command> [<args>]
-Git repo manager, tilde edition
+git repo manager, tilde edition
commands:
new create a new repo
