mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-01-07 21:43:32 +00:00
2638fb722e
In order to fix https://github.com/NixOS/nixpkgs/issues/114552 (profile name with special characters), all OSError have been ignored while only the OSError with errno 22 (invalid argument) could has been ignored. The drawback of ignoring all OSError is that the "No space left on device" error is also ignored. When the /boot doesn't have enough available disk space, the switch-to-configuration script succeeds while the boot menu has not been updated: the user thinks it's system has been updated, but on the next reboot it is actually rollbacked. |
||
|---|---|---|
| .. | ||
| external | ||
| generations-dir | ||
| generic-extlinux-compatible | ||
| grub | ||
| init-script | ||
| raspberrypi | ||
| systemd-boot | ||
| efi.nix | ||
| loader.nix | ||