summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Matthias Jaros <jarlucmat@mailbox.org>2026-08-19 16:26:06 +0200
committerGravatar Matthias Jaros <jarlucmat@mailbox.org>2026-08-19 22:02:12 +0200
commiteec5f0d4adab3a6c2aeb80066d8fe0b0fdf0f2e7 (patch)
tree7b0e3bd2476057e524854b2f850b9c1729c3c1b0
parentf5504097d722f52f0a2ec275e71fb7254ac8c6be (diff)
Print warnings when permissions are not properly set for users
Skip unknown user
-rwxr-xr-xsrc/init14
1 files changed, 10 insertions, 4 deletions
diff --git a/src/init b/src/init
index 01d5f11..0ec037c 100755
--- a/src/init
+++ b/src/init
@@ -101,13 +101,19 @@ function setupRepo
set -l user $parsedConfig[1]
set -l permission $parsedConfig[2]
- if not checkUsername "$user"
- continue
+ if not doesUserExist "$user"
+ echo "WARN: repo '$repo' entry for unknown user '$user' skipped"
+ continue
end
- # check for valid permission
- if not contains $permission $_PERMISSIONS
+ # check for valid permission:
+ # omitted (empty) -> default read (documented behavior)
+ # explicit typo -> deny (fail closed)
+ if test -z $permission
set permission "r"
+ else if not contains $permission $_PERMISSIONS
+ echo "WARN: repo '$repo' user '$user' invalid permission '$permission' (allowed: r w) - no access granted"
+ continue
end
echo "$repoDir:$user:$permission" >> $_REPO_PERMISSIONS_FILE
end