diff options
| author | 2025-11-27 20:25:04 +0100 | |
|---|---|---|
| committer | 2025-11-27 20:25:04 +0100 | |
| commit | 1e523283fb08ba9007613624ae9d89c90dc242e7 (patch) | |
| tree | 7a5b0ad0ce8eb7098ddc9a2a233f501f83392078 /src | |
| parent | 90811627db393506cf3fe394135c1a2acf0a7c77 (diff) | |
Bump to next snapshot version. Make scripts more efficient by avoiding call of cat
Diffstat (limited to 'src')
| -rwxr-xr-x | src/git-run | 4 | ||||
| -rwxr-xr-x | src/init | 4 | ||||
| -rw-r--r-- | src/version | 2 |
3 files changed, 5 insertions, 5 deletions
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'" @@ -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 index 840ca8c..8df077e 100644 --- a/src/version +++ b/src/version @@ -1 +1 @@ -1.4
\ No newline at end of file +1.5-SNAPSHOT |
