grm

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

commit c78a77d97756107b834b9303ff7d2884386b60f2
parent 63fe26ae57f85d3b28ebd9e6105698a923ae71db
Author: krasjet <nil@krj.st>
Date:   Sun, 12 Jul 2020 04:56:00 -0700

rm: don't abort when rm fails

Diffstat:
Mgrm | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/grm b/grm @@ -119,8 +119,8 @@ grm_remove() { printf "remove %s? [y/N] " "$repo" read -r resp if echo "$resp" | grep -iq "^y$"; then - rm -rf "${repos_root:?}/${repo:?}.git" || exit 1; - rm -rf "${web_root:?}/${repo:?}" || exit 1; + rm -rf "${repos_root:?}/${repo:?}.git" || continue; + rm -rf "${web_root:?}/${repo:?}" || continue; fi done rebuild_index &