diff options
| author | 2025-10-20 09:11:42 +0200 | |
|---|---|---|
| committer | 2025-10-20 09:11:42 +0200 | |
| commit | 9d99b5e6d45e83e0ef72a9b88b84808f1282834b (patch) | |
| tree | ef7803e8119fd6f17f4e80faec8fb1bbc78573a8 /run | |
| parent | c3d76bb19e4ee3a5050908f35eb435b3233e0e31 (diff) | |
Tightened regex and made tiny variable adjustment. no functional change
Diffstat (limited to 'run')
| -rwxr-xr-x | run | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |
