1 { pkgs, lib, config, ... }:
7 # The 32-bit host id of the machine, formatted as 8 hexadecimal characters.
8 # You should try to make this id unique among your machines.
9 # Manually generated with : head -c4 /dev/urandom | od -A none -t x4 | cut -d ' ' -f 2
10 networking.hostId = "69c40b03";
12 boot.loader.grub.devices = [
13 "/dev/disk/by-id/ata-Samsung_SSD_840_EVO_250GB_S1DBNSAF340110R"
17 { device = "/dev/disk/by-uuid/dc3c5387-17d2-43b3-bfa2-bf73afacca07";
21 fileSystems."/boot/efi" =
22 { device = "/dev/disk/by-uuid/62E6-E65F";
27 { device = "/dev/disk/by-partuuid/6b1eaa35-776b-4e60-b21e-7bcee535dd8b";
30 cipher = "aes-xts-plain64";
31 source = "/dev/urandom";