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

[Damien Cassou]

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        /boot/EFI/nixos/0k505mxyzj50dljm8bhvnrjzz8rlyjx6-linux-4.6.7-bzImage.efi
    4.2M        /boot/EFI/nixos/7zqdzaqm5racflik1bljqrym4whincb7-linux-4.7-bzImage.efi
    4.2M        /boot/EFI/nixos/kyzvb5xaws0kw5i0gnjc5mjjzmy4xm4a-linux-4.7.2-bzImage.efi
    4.2M        /boot/EFI/nixos/ns9hlp2s6yv0iqg2nd1hsz9mn77b66d8-linux-4.7-bzImage.efi
    4.2M        /boot/EFI/nixos/vyw884qnkqh1xrpw2qcfyl71cy8a7p5n-linux-4.7-bzImage.efi
    4.2M        /boot/EFI/nixos/zd7vsh4iad8i3vf8xzify973vydviva4-linux-4.7.2-bzImage.efi
    4.3M        /boot/EFI/nixos/l4n4b8igv88s5g0xr48f6n5gir7bgyqq-linux-4.6.7-bzImage.efi
    4.3M        /boot/EFI/nixos/rkmxvm29xp51r7672lnd8pbvwhhlxhrx-linux-4.6.7-bzImage.efi
    4.3M        /boot/EFI/nixos/rny17ngh4cf8zrplx281v51rgzqhnv35-linux-4.6.7-bzImage.efi
    4.4M        /boot/EFI/nixos/0sww42pc5d01dv74mw6g5fn4wbdznz5y-linux-4.7.2-bzImage.efi
    4.4M        /boot/EFI/nixos/ajc33qx6vzf5yv698rvpgw8p75vliri3-linux-4.7.5-bzImage.efi
    4.4M        /boot/EFI/nixos/d0w54174d3vg6pvjb3s3877z2ri8saah-linux-4.7.4-bzImage.efi
    4.4M        /boot/EFI/nixos/sfy167wbwvhb29vpbdk0v5sxznr245d3-linux-4.7.4-bzImage.efi
    7.1M        /boot/EFI/nixos/3bsdwvdmzxaddw3ydqx40fry0b2gj406-initrd-initrd.efi
    7.1M        /boot/EFI/nixos/3gwpx18ryhkcs4m7hdhp5c5w00mx3x4l-initrd-initrd.efi
    [... 22 more of these last 2...]
    226M        /boot/EFI/nixos

I just did a "nix-collect-garbage --delete-older-than 2d" but that
doesn't remove files in /boot/EFI/nixos. Moreover, systemd-boot still
shows me many entries, starting at number 83, but these entries are not
in /nix/var/nix/profiles anymore:

    $ ls /nix/var/nix/profiles/
    per-container  per-user  system  system-153-link  system-154-link
    system-155-link  system-156-link

So, I'm lost. Can you please tell me how to make room on this partition?

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