[Nix-dev] NixOS Uefi installation

[Carlo Nucera]

Hi,
Could anyone clarify the case of installing nixos via usb stick with
UEFI in the manual here:
http://nixos.org/nixos/manual/sec-installation.html

In particular, the phrase `Change the label of the disk partition to
the label of the ISO (visible with the blkid command)` means that I
should change the name of the drive to something like
`nixos-graphical-14.12.335.676e8d7-x86_64-linux.iso`?

Thanks,
Carlo