From 1e523283fb08ba9007613624ae9d89c90dc242e7 Mon Sep 17 00:00:00 2001 From: Matthias Lucas Jaros Date: Thu, 27 Nov 2025 20:25:04 +0100 Subject: Bump to next snapshot version. Make scripts more efficient by avoiding call of cat --- src/git-run | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/git-run') diff --git a/src/git-run b/src/git-run index 0a6ee75..0366e8f 100755 --- a/src/git-run +++ b/src/git-run @@ -56,7 +56,7 @@ function verifyPermissions end # check for permissions - if not cat $_REPO_PERMISSIONS_FILE | grep -q -E "^$repoDir:$currentUser:$permission\$" + if not grep -q -E "^$repoDir:$currentUser:$permission\$" < $_REPO_PERMISSIONS_FILE emit log DENY no_permissions return 4 end @@ -73,4 +73,4 @@ begin emit log ALLOW ok "argv=$argv" end &>>$_LOG -exec /usr/bin/sudo -n -u git /usr/bin/git-shell -c "$gitCommand '$repoDir'" \ No newline at end of file +exec /usr/bin/sudo -n -u git /usr/bin/git-shell -c "$gitCommand '$repoDir'" -- cgit v1.3.1