gitreef

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 18068c720b31b76b77bff4b347ff68e7a7216d01
parent 16de28b3208149f2c926797e4051bbb517dd9e01
Author: Matthias Jaros <jaros@mailbox.org>
Date:   Mon, 20 Oct 2025 09:11:42 +0200

Tightened regex and made tiny variable adjustment. no functional change

Diffstat:
Minit | 2+-
Mrun | 2+-
2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/init b/init @@ -45,7 +45,7 @@ function setupRepo # we assume all repos to be in /srv/repos set -l repoDir srv repos - set -l repoDir /(string join -n '/' $repoDir (string split '/' $repo)) + set repoDir /(string join -n '/' $repoDir (string split '/' $repo)) echo "Setting up repo: $repo" # write user as allowed into permission file diff --git a/run b/run @@ -16,7 +16,7 @@ set -l gitCommand $matcher[1] set -l repo $matcher[2] set -l repoDir srv repos set -l repoDir /(string join -n '/' $repoDir (string split '/' $repo)) -cat $REPO_PERMISSIONS | grep -q -E "^$repoDir:$checkUser" +cat $REPO_PERMISSIONS | grep -q -E "^$repoDir:$checkUser\$" or exit 1; # run command