aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'src/gl-compile-conf')
-rwxr-xr-xsrc/gl-compile-conf10
1 files changed, 9 insertions, 1 deletions
diff --git a/src/gl-compile-conf b/src/gl-compile-conf
index f9b5786..334259e 100755
--- a/src/gl-compile-conf
+++ b/src/gl-compile-conf
@@ -267,7 +267,15 @@ sub parse_conf_file
}
for my $user (@users)
{
- $user_list{$user}++; # only to catch lint, see later
+ # lint check, to catch pubkey/username typos
+ if ($user =~ /^@/ and $user ne '@all') {
+ # this is a usergroup, not a normal user; happens with GL_BIG_CONFIG
+ if (exists $groups{$user}) {
+ $user_list{$_}++ for keys %{ $groups{$user} };
+ }
+ } else {
+ $user_list{$user}++;
+ }
# for 1st level check (see faq/tips doc)
$repos{$repo}{C}{$user} = 1, next if $perms eq 'C';