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

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

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

Right, this is why I recommended directly calling /run/current-system/bin/switch-to-configuration. If the configuration is already present in /boot, you can be sure it doesn't need to add anything. Roger Qiu writes: > I discovered a while back that NixOS rebuild is only

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

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

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

Shea Levy 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,

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

Hi Damien, 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. ~Shea Damien Cassou writes: >

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

Hi, this morning I got notified that there is no space left on /boot: $ df -h /boot Filesystem Size Used Avail Use% Mounted on /dev/nvme0n1p1 256M 249M 7.9M 97% /boot When I look at it, I can see many nixos efi files: $ du -sh /boot/EFI/nixos/* 3.9M