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