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

[Roger Qiu]

To clarify, I mean a nixos rebuild that changes the efi in some way.
On 28/09/2016 8:32 PM, "Roger Qiu" <roger.qiu at 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" <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/e4b54063/attachment.html>