feat(organization): Add external and internal services
All checks were successful
Check meta / check_meta (push) Successful in 26s
Check meta / check_dns (push) Successful in 46s
build configuration / build_vault01 (push) Successful in 1m11s
build configuration / build_storage01 (push) Successful in 1m13s
build configuration / build_web02 (push) Successful in 52s
build configuration / build_compute01 (push) Successful in 1m19s
build configuration / build_web01 (push) Successful in 1m35s
lint / check (push) Successful in 23s
build configuration / build_rescue01 (push) Successful in 56s
build configuration / push_to_cache (push) Successful in 2m11s

This commit is contained in:
Tom Hubrecht 2024-05-14 17:32:54 +02:00
parent 01b967fff0
commit 0e7dd1ea70
2 changed files with 67 additions and 0 deletions

View file

@ -67,6 +67,39 @@ in
Groups of the DGNum organization. Groups of the DGNum organization.
''; '';
}; };
external = mkOption {
type = attrsOf (listOf str);
description = ''
External services used by the DGNum organization.
'';
};
services = mkOption {
type = attrsOf (submodule {
options = {
admins = mkOption {
type = listOf str;
default = [ ];
description = ''
List of administrators of the service.
'';
};
adminGroups = mkOption {
type = listOf str;
default = [ ];
description = ''
List of administrator groups of the service.
'';
};
};
});
description = ''
Administrator access of the different DGNum services,
it is mainly indicative as most services cannot configure this statically.
'';
};
}; };
nodes = mkOption { nodes = mkOption {

View file

@ -48,4 +48,38 @@
# members of this group are root on the fai infrastructure # members of this group are root on the fai infrastructure
fai = [ "catvayor" ]; fai = [ "catvayor" ];
}; };
external = {
dns = [
"thubrecht"
"raito"
];
email = [ "raito" ];
irc = [ "raito" ];
};
services = {
# Démarches Normaliennes
ds-fr.admins = [
"thubrecht"
"jemagius"
];
# Cloud DGNum
nextcloud.admins = [
"thubrecht"
"raito"
];
# Netbox DGNum
netbox.adminGroups = [
"root"
"fai"
];
# Videos DGNum
peertube.admins = [ "thubrecht" ];
};
} }