[Nix-dev] installation fails to install grub to separate /boot

[Michael Raskin]

Adam Vogt wrote:
> So I tried it that way, using the config already sent to this list, and 
> /mnt/boot, stays mounted throughout the installation, except at the end, it 
> gets unmounted, then the message is:
Hm, strange, I mount it by device name and it stays mounted till the end.

>   Probing Devices to guess BIOS drives. This may take a long time.
>   Could not find device for /boot: Not found or not a block device
Surely so. You need /boot mounted at the moment of GRUB installation.

> Well, it was up until the nixos-install script prints "finalizing the 
> installation", as I saw from the command mount and/or df.
Well, it should be mounted afterwards, too... Is it just an ordinary 
partition, no LVM etc?

> That was from a fresh install. But there shouldn't be any difference 
> between running nixos-install when /mnt contains the results of a previous 
> install anyways, right?
Nit sure, but should be so.