commit 26d169681c44e1189769087074d7b9f15a665c20
parent d9de352e4975e8bfacf4dda87492e25588caf536
Author: Demonstrandum <moi@knutsen.co>
Date: Fri, 3 Jul 2020 15:53:08 +0100
Properly cut .git out of name.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/repo-gen.sh b/repo-gen.sh
@@ -13,7 +13,7 @@ STAGIT_INDEX=/var/www/git/stagit-index.out
[ ! -f "$STAGIT_INDEX" ] && STAGIT_INDEX=stagit-index
for repo in /srv/git/*.git; do
- repo="$(basename "$repo" | cut -f 1 -d '.')"
+ repo="$(basename "$repo" | rev | cut -c 5- | rev)"
[ "$fresh" = true ] \
&& echo "Deleting HTML for $repo." \