2021-11-04 19:00:01 +01:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
{
|
|
|
|
|
# Use the GRUB 2 boot loader.
|
|
|
|
|
boot.loader.grub.enable = true;
|
|
|
|
|
boot.loader.grub.version = 2;
|
|
|
|
|
boot.loader.grub.device = "/dev/vdb"; # or "nodev" for efi only
|
|
|
|
|
|
|
|
|
|
time.timeZone = "Europe/Paris";
|
|
|
|
|
|
|
|
|
|
networking.useDHCP = false;
|
|
|
|
|
networking.interfaces.eth0 = {
|
2023-02-24 14:43:35 +01:00
|
|
|
ipv4.addresses = [{ address = "129.199.129.76"; prefixLength = 24; }];
|
2021-11-04 19:00:01 +01:00
|
|
|
};
|
|
|
|
|
networking.defaultGateway = { address = "129.199.129.1"; interface = "eth0"; };
|
|
|
|
|
}
|
