From 26d169681c44e1189769087074d7b9f15a665c20 Mon Sep 17 00:00:00 2001
From: Demonstrandum <moi@knutsen.co>
Date: Fri, 3 Jul 2020 15:53:08 +0100
Subject: [PATCH] Properly cut .git out of name.

---
 repo-gen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repo-gen.sh b/repo-gen.sh
index c68950c..1a22f85 100755
--- 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." \
-- 
2.39.2