grm

commit ff94af31eb44a91bd5e05a56208a19c93ddff7b8
parent 6c0f2817001d83581a1ef54ae0f04a9bb7bb6ef0
Author: krasjet <nil@krj.st>
Date:   Tue, 14 Jul 2020 17:11:24 -0700

readme: use sh instead of bash

Diffstat:
M
README.md
 | 
10
+++++-----

1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/README.md b/README.md
@@ -38,7 +38,7 @@ If you want to have a web interface for your repositories, you should also have
 
 To use git repo manager, edit the `grm` script to fill in some configurations,
 
-```bash
+```sh
 # root directory of git repositories
 GRM_REPOS_ROOT="/home/git"
 
@@ -88,25 +88,25 @@ If you have created a `git` user for managing git repositories, make sure the
 `git` user has write access to all the directories in the config, and run the
 script on the server as:
 
-```bash
+```sh
 $ doas -u git -- grm <command> [<args>]
 ```
 
 or
 
-```bash
+```sh
 $ sudo -u git -- grm <command> [<args>]
 ```
 
 You could also run the script on your local machine using ssh,
 
-```bash
+```sh
 $ ssh git@domain.tld -- grm <command> [<args>]
 ```
 
 or simply create an alias if you find it cumbersome:
 
-```bash
+```sh
 alias grm="ssh git@domain.tld -- grm"
 ```