gitreef

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

commit 5ba5394ae186b2435225b8fb927bea20b5ad6f1d
parent 270e4824e1040b8826aad141c91c57a27584b8fa
Author: Matthias Jaros <jaros@mailbox.org>
Date:   Thu, 27 Nov 2025 20:25:04 +0100

Bump to next snapshot version. Make scripts more efficient by avoiding call of cat

Diffstat:
Msrc/git-run | 5++---
Msrc/init | 5++---
Msrc/version | 3+--
3 files changed, 5 insertions(+), 8 deletions(-)

diff --git 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'" diff --git a/src/init b/src/init @@ -18,7 +18,7 @@ end function checkUser set -l user $argv[1] - cat /etc/passwd | grep -q -E "^$user:" + grep -q -E "^$user:" < /etc/passwd return $status end @@ -182,4 +182,4 @@ touch $_LOG && chmod 777 $_LOG setupSSH; or return $status # run ssh daemon -exec /usr/sbin/sshd -D -e -\ No newline at end of file +exec /usr/sbin/sshd -D -e diff --git a/src/version b/src/version @@ -1 +1 @@ -1.4 -\ No newline at end of file +1.5-SNAPSHOT