2023-11-30 19:42:05 +01:00
|
|
|
|
{ config, pkgs, values, ... }:
|
|
|
|
|
|
{
|
|
|
|
|
|
imports = [
|
2023-12-12 15:26:36 +01:00
|
|
|
|
./hardware-configuration.nix
|
|
|
|
|
|
../../base.nix
|
|
|
|
|
|
../../misc/metrics-exporters.nix
|
2024-02-18 22:09:17 +01:00
|
|
|
|
|
|
|
|
|
|
./bikkje.nix
|
2023-12-12 15:26:36 +01:00
|
|
|
|
];
|
2023-11-30 19:42:05 +01:00
|
|
|
|
|
|
|
|
|
|
# buskerud does not support efi?
|
|
|
|
|
|
# boot.loader.systemd-boot.enable = true;
|
|
|
|
|
|
# boot.loader.efi.canTouchEfiVariables = true;
|
|
|
|
|
|
boot.loader.grub.enable = true;
|
2023-12-10 05:27:58 +01:00
|
|
|
|
boot.loader.grub.device = "/dev/sdb";
|
2023-11-30 19:42:05 +01:00
|
|
|
|
|
|
|
|
|
|
networking.hostName = "buskerud";
|
|
|
|
|
|
networking.search = [ "pvv.ntnu.no" "pvv.org" ];
|
|
|
|
|
|
networking.nameservers = [ "129.241.0.200" "129.241.0.201" ];
|
|
|
|
|
|
networking.tempAddresses = "disabled";
|
|
|
|
|
|
|
|
|
|
|
|
systemd.network.networks."enp3s0f0" = values.defaultNetworkConfig // {
|
|
|
|
|
|
matchConfig.Name = "enp3s0f0";
|
|
|
|
|
|
address = with values.hosts.buskerud; [ (ipv4 + "/25") (ipv6 + "/64") ];
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
# List packages installed in system profile
|
|
|
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
|
|
# This value determines the NixOS release from which the default
|
|
|
|
|
|
# settings for stateful data, like file locations and database versions
|
|
|
|
|
|
# on your system were taken. It‘s perfectly fine and recommended to leave
|
|
|
|
|
|
# this value at the release version of the first install of this system.
|
|
|
|
|
|
# Before changing this value read the documentation for this option
|
|
|
|
|
|
# (e.g. man configuration.nix or on https://nixos.org/nixos/options.html).
|
|
|
|
|
|
system.stateVersion = "23.05"; # Did you read the comment?
|
|
|
|
|
|
}
|
