To clarify, I mean a nixos rebuild that changes the efi in some way. On 28/09/2016 8:32 PM, "Roger Qiu" <roger....@matrix.ai> wrote:
> 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" <dam...@cassou.me> wrote: > >> Shea Levy <s...@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@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev >> >
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev