grm

git repo manager for self-hosted git servers
git clone git://sink.krj.st/grm
Log | Files | Refs | README | LICENSE

commit ddbbe484f6c3d32f0c7d5d57044d363ec5da188f
parent fa5d0dbd5f56a439362831876541829f772c8df5
Author: krasjet <nil@krj.st>
Date:   Sun, 12 Jul 2020 17:47:21 -0700

update styles

Diffstat:
Mgrm | 14+++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/grm b/grm @@ -151,16 +151,16 @@ grm_list() { -exec basename {} '.git' \; \ \) ;; private) - find "${repos_root}/." ! -name . -prune \ - -type d -name "*.git" \ - \( \ - -exec test -e "{}/git-daemon-export-ok" \; \ - -o \ - -exec basename {} '.git' \; \ + find "${repos_root}/." ! -name . -prune \ + -type d -name "*.git" \ + \( \ + -exec test -e "{}/git-daemon-export-ok" \; \ + -o \ + -exec basename {} '.git' \; \ \) ;; *) find "${repos_root}/." ! -name . -prune \ - -type d -name "*.git" \ + -type d -name "*.git" \ -exec basename {} '.git' \; ;; esac }