2023-10-04 14:34:58 +02:00
|
|
|
/* To add a new member add an attribute to `members`
|
|
|
|
Then add the key to the required groups.
|
2023-05-22 17:24:42 +02:00
|
|
|
*/
|
2023-05-22 15:06:11 +02:00
|
|
|
let
|
|
|
|
members = {
|
|
|
|
mdebray = {
|
|
|
|
name = "Maurice Debray";
|
|
|
|
email = "maurice.debray@dgnum.eu";
|
|
|
|
};
|
|
|
|
|
|
|
|
thubrecht = {
|
|
|
|
name = "Tom Hubrecht";
|
|
|
|
email = "tom.hubrecht@dgnum.eu";
|
|
|
|
};
|
2023-05-22 17:18:57 +02:00
|
|
|
|
|
|
|
raito = {
|
2023-07-18 23:03:08 +02:00
|
|
|
name = "Ryan Lahfa";
|
|
|
|
email = "ryan@dgnum.eu";
|
2023-05-22 17:18:57 +02:00
|
|
|
};
|
2023-10-04 14:34:58 +02:00
|
|
|
|
|
|
|
jemagius = {
|
|
|
|
name = "Jean-Marc Gailis";
|
|
|
|
email = "jm@dgnum.eu";
|
|
|
|
};
|
2023-05-22 15:06:11 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
groups = {
|
2023-05-22 17:24:42 +02:00
|
|
|
# members of this group are root on all nodes
|
2023-10-16 09:26:12 +02:00
|
|
|
root = [ "thubrecht" "raito" "mdebray" ];
|
2023-06-07 14:13:36 +02:00
|
|
|
|
2023-07-18 23:03:08 +02:00
|
|
|
# members of this group will have root access on the installation isos
|
2023-06-07 14:13:36 +02:00
|
|
|
iso = [ "thubrecht" "mdebray" "raito" ];
|
2023-07-18 17:00:31 +02:00
|
|
|
|
2023-07-18 22:59:08 +02:00
|
|
|
bureau = [ "gdd" ];
|
2023-05-22 15:06:11 +02:00
|
|
|
};
|
|
|
|
|
2023-10-04 14:34:58 +02:00
|
|
|
in { inherit groups members; }
|