diff options
| author | 2026-08-19 16:26:06 +0200 | |
|---|---|---|
| committer | 2026-08-19 22:02:12 +0200 | |
| commit | eec5f0d4adab3a6c2aeb80066d8fe0b0fdf0f2e7 (patch) | |
| tree | 7b0e3bd2476057e524854b2f850b9c1729c3c1b0 | |
| parent | f5504097d722f52f0a2ec275e71fb7254ac8c6be (diff) | |
Print warnings when permissions are not properly set for users
Skip unknown user
| -rwxr-xr-x | src/init | 14 |
1 files changed, 10 insertions, 4 deletions
@@ -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 |
