[Nix-dev] NixOS 16.09 not cleaning /boot/EFI/nixos

[Roger Qiu]

I discovered a while back that NixOS rebuild is only time boot efi gets
cleaned. But here's a question. Does it delete then add the new efi, or
does it add the new efi then delete? The former would mean that even if
your efi is full, it will work, but raises the possibility that if a
rebuild gets interrupted, then you will have no efi. The latter is what I
think it currently does. So I think if your efi is full, you won't be able
to do a nixos rebuild.
On 28/09/2016 5:49 PM, "Damien Cassou" <damien at cassou.me> wrote:

> Shea Levy <shea at shealevy.com> writes:
>
> > After deleting the old profiles (which nix-collect-garbage -d does), did
> > you run '/run/current-system/bin/switch-to-configuration boot'? I think
> > that or doing a nixos-rebuild is the only way to trigger the /boot
> > garbage collection.
>
> you saved me, thank you very much.
>
> --
> Damien Cassou
> http://damiencassou.seasidehosting.st
>
> "Success is the ability to go from one failure to another without
> losing enthusiasm." --Winston Churchill
> _______________________________________________
> nix-dev mailing list
> nix-dev at lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20160928/948774f4/attachment.html>