DGNum/infrastructure
13
6
Fork 3
Code Issues 20 Pull requests 9 Projects 1 Releases Packages Wiki Activity Actions

feat(vault01): Add user vlans #93

Merged
thubrecht merged 1 commit from lbailly/infrastructure:main into main 2024-04-16 09:49:03 +02:00
Conversation 0 Commits 1 Files changed 1 +16 -1
1 changed files with 16 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
machines/vault01/networking.nix
View file

@ -35,6 +35,21 @@ let
vlanConfig.Id = Id;
};
mkUserVlan =
id:
let
vlan = 3245 + id;
prefix24nb = id / 32;
prefix29nb = (id - prefix24nb * 32) * 8;
in
{
name = "vlan-user-${builtins.toString vlan}";
value = {
Id = vlan;
address = [ "10.0.${builtins.toString prefix24nb}.${builtins.toString (prefix29nb + 1)}/29" ];
thubrecht commented 2024-04-15 10:09:11 +02:00
Outdated
Review
Copy link

Pourquoi pas mettre le +1 directement dans le calcul de prefix29nb ?

Pourquoi pas mettre le +1 directement dans le calcul de prefix29nb ?
lbailly commented 2024-04-15 22:53:13 +02:00
Outdated
Review
Copy link

Je trouvais ça plus sensé sémantiquement : 10.0.${builtins.toString prefix24nb}.${builtins.toString prefix29nb} c'est l'adresse du réseau, avec le +1 c'est notre adresse, et si on vient à en avoir besoin, +7 c'est le broadcast

Je peut changer si tu préfères

Je trouvais ça plus sensé sémantiquement : `10.0.${builtins.toString prefix24nb}.${builtins.toString prefix29nb}` c'est l'adresse du réseau, avec le +1 c'est notre adresse, et si on vient à en avoir besoin, +7 c'est le broadcast Je peut changer si tu préfères
thubrecht commented 2024-04-16 09:39:25 +02:00
Outdated
Review
Copy link

Non, ça me va

Non, ça me va
};
};
vlans = {
vlan-uplink-cri = {
Id = 223;
@ -67,7 +82,7 @@ let
extraNetwork.networkConfig.DHCPServer = "yes";
};
};
} // builtins.listToAttrs (builtins.genList mkUserVlan 300); # 850 when we can
in
{