{ config, pkgs, values, ... }: { imports = [ # Include the results of the hardware scan. ./hardware-configuration.nix ../../base.nix ../../misc/metrics-exporters.nix ./services/kanidm.nix ]; sops.defaultSopsFile = ../../secrets/shark/shark.yaml; sops.age.sshKeyPaths = [ "/etc/ssh/ssh_host_ed25519_key" ]; sops.age.keyFile = "/var/lib/sops-nix/key.txt"; sops.age.generateKey = true; boot.loader.systemd-boot.enable = true; boot.loader.efi.canTouchEfiVariables = true; networking.hostName = "shark"; systemd.network.networks."30-ens18" = values.defaultNetworkConfig // { matchConfig.Name = "ens18"; address = with values.hosts.shark; [ (ipv4 + "/25") (ipv6 + "/64") ]; }; environment.systemPackages = with pkgs; [ ]; system.stateVersion = "23.05"; # Did you read the comment? }