diff options
| author | 2025-10-27 17:41:35 +0100 | |
|---|---|---|
| committer | 2025-10-27 17:41:35 +0100 | |
| commit | e6fd29bfe889be243609235e42fcfb9660b91488 (patch) | |
| tree | 7140446f31ae2f9a3c44537021290cf3b6c3d4ec /src/init | |
| parent | 83432a182b91aa13dc6b988e75f9d0f7c2b2ef7b (diff) | |
Updated VERSION handling and added LICENSE file to docker image
Diffstat (limited to 'src/init')
| -rwxr-xr-x | src/init | 14 |
1 files changed, 10 insertions, 4 deletions
@@ -2,7 +2,6 @@ # load environment source (dirname (status --current-filename))/env -set VERSION (cat (dirname (status --current-filename))/version) # # @@ -108,7 +107,7 @@ end # # -argparse 'g/git-uid=?' 'u/user=+' 'r/repo=+' 'h/help' -- $argv +argparse 'g/git-uid=?' 'u/user=+' 'r/repo=+' 'h/help' 'v/version' -- $argv or exit 1; if set -q _flag_h @@ -118,11 +117,17 @@ if set -q _flag_h echo -e "\t -h, --help \t\t Display this page" echo -e "\t -g, --git-uid \t\t UID of the git user that is used also as ownership for all repos" echo -e "\t -u, --user \t\t User setting in form of <user-name>:<public-key>" - echo -e "\t -r, --repo \t\t Repo setting in form of <repo-path>:<allowed-user1>. You can add as many users as you want. Currently if a user is allowed he has all permissions read/write" + echo -e "\t -r, --repo \t\t Repo setting in form of <repo-path>;<user>:<perm>[;<user2>:<perm>;...]. You can add as many users as you want. If you do not specify a user for a repo, that user does not have access to it. If you specify a user without permission, the default fallback is read only." + echo -e "\t -v, --version \t\t Version" echo -e "" return end +if set -q _flag_v + echo -e "$_VERSION" + return +end + function showBanner echo echo ' @@ -134,7 +139,8 @@ function showBanner |___/ ' echo - echo Version $VERSION Copyright Matthias Jaros 2025 + echo Copyright Matthias Jaros 2025 + echo This software is licensed under GPLv3. See /usr/share/doc/git-server/LICENSE echo end |
