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

[Shea Levy]

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 <damien at cassou.me> writes:

> 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
> _______________________________________________
> nix-dev mailing list
> nix-dev at lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 800 bytes
Desc: not available
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20160928/2f600d95/attachment.sig>