infrastructure/meta
Tom Hubrecht 4454192c27
Some checks failed
Check meta / check_dns (push) Failing after 11s
Check meta / check_meta (push) Failing after 11s
Build all the nodes / bridge01 (push) Failing after 11s
Build all the nodes / ap01 (push) Failing after 11s
Build all the nodes / compute01 (push) Failing after 11s
Build all the nodes / geo02 (push) Failing after 11s
Build all the nodes / cof02 (push) Failing after 11s
Build all the nodes / krz01 (push) Failing after 11s
Build all the nodes / lab-router01 (push) Failing after 10s
Build all the nodes / netaccess01 (push) Successful in 23s
Run pre-commit on all files / pre-commit (push) Successful in 32s
Build all the nodes / netcore01 (push) Successful in 25s
Build all the nodes / netcore00 (push) Successful in 25s
Build all the nodes / netcore02 (push) Successful in 26s
Build all the nodes / hypervisor01 (push) Successful in 53s
Build all the nodes / geo01 (push) Successful in 53s
Build all the nodes / hypervisor03 (push) Successful in 52s
Build all the nodes / hypervisor02 (push) Successful in 54s
Build all the nodes / build01 (push) Successful in 58s
Build all the nodes / iso (push) Successful in 1m0s
Build the shell / build-shell (push) Successful in 27s
Build all the nodes / tower01 (push) Successful in 52s
Build all the nodes / vault01 (push) Successful in 57s
Build all the nodes / rescue01 (push) Successful in 1m2s
Build all the nodes / web02 (push) Successful in 49s
Build all the nodes / web01 (push) Successful in 1m7s
Build all the nodes / web03 (push) Successful in 51s
Build all the nodes / storage01 (push) Successful in 1m22s
fix(dns): Setup www.dgnum.eu redirection
This allows fetching the main website from both dgnum.eu and
www.dgnum.eu
2025-05-18 17:19:56 +02:00
..
nodes feat(compute01): Deploy opengist on gist.dgnum.eu 2025-05-01 15:07:19 +02:00
organization chore(catvayor): add age ssh key 2025-05-15 23:04:47 +02:00
default.nix chore(meta): Use mkImports for the module list 2025-02-11 10:31:37 +01:00
dns.nix fix(dns): Setup www.dgnum.eu redirection 2025-05-18 17:19:56 +02:00
network.nix feat(dns): Allow restricting ip records to only one address 2025-04-29 10:33:54 +02:00
nixpkgs.nix feat(netconf)!: wip! broken! netconf-eval 2024-12-16 09:26:52 +01:00
options.nix feat(secrets): Add a possibility to use extra keys for secret encryption 2025-05-15 23:04:47 +02:00
README.md chore: Add license and copyright information 2024-12-13 12:41:38 +01:00
verify.nix chore(bootstrap): Rename file 2025-02-06 13:08:04 +01:00

Metadata of the DGNum infrastructure

DNS

The DNS configuration of our infrastructure is completely defined with the metadata contained in this folder.

The different machines have records pointing to their IP addresses when they exist:

  • $node.$site.infra.dgnum.eu points IN A $ipv4

  • $node.$site.infra.dgnum.eu points IN AAAA $ipv6

  • v4.$node.$site.infra.dgnum.eu points IN A $ipv4

  • v6.$node.$site.infra.dgnum.eu points IN AAAA $ipv6

Then the services hosted on those machines can be accessed through redirections:

  • $service.dgnum.eu IN CNAME $node.$site.infra.dgnum.eu

or, when targeting only a specific IP protocol:

  • $service4.dgnum.eu IN CNAME ipv4.$node.$site.infra.dgnum.eu
  • $service6.dgnum.eu IN CNAME ipv6.$node.$site.infra.dgnum.eu

Extra records exist for ns, mail configuration, or the main website but shouldn't change or be tinkered with.

Network

The network configuration (except the NetBird vpn) is defined statically.

TODO.

Nixpkgs

Machines can use different versions of NixOS, the supported ones are specified here.

How to add a new version

  • Switch to a new branch nixos-$VERSION
  • Run the following command
npins add channel nixos-$VERSION
  • Edit meta/nixpkgs.nix and add $VERSION to the supported version.
  • Read the release notes and check for changes.
  • Update the nodes versions
  • Create a PR so that the CI check that it builds

Nodes

The nodes are declared statically, several options can be configured:

  • deployment, the colmena deployment option
  • stateVersion, the state version of the node
  • nixpkgs, the version and sytem of NixOS to use
  • admins, the list of administrators specific to this node, they will be given root access
  • adminGroups, a list of groups whose members will be added to admins
  • site, the physical location of the node
  • vm-cluster, the VM cluster hosting the node when appropriate

Some options are set automatically, for example:

  • deployment.targetHost will be inferred from the network configuration
  • deployment.tags will contain infra-$site, so that a full site can be redeployed at once

Organization

The organization defines the groups and members of the infrastructure team, one day this information will be synchronized in Kanidm.

Members

For a member to be allowed access to a node, they must be defined in the members attribute set, and their SSH keys must be available in the keys folder.

Groups

Groups exist only to simplify the management of accesses:

  • The root group will be given administrator access on all nodes
  • The iso group will have its keys included in the ISOs built from the iso folder

Extra groups can be created at will, to be used in node-specific modules.

Module

The meta configuration can be evaluated as a module, to perform checks on the structure of the data.