Samuel Dionne-Riel 0ccfe14e25 nixos/grub: Implements use of file format for splashImage. ... GRUB 2.0 supports png, jpeg and tga. This will use the image's suffix to load the right module. As jpeg module is named jpeg, jpg is renamed jpeg. If the user uses wrong image suffix for an image, it wouldn't work anyway. This will leave up to two additional left-over files in /boot/ if user switches through all the supported file formats. The module already left the png image if the user disabled the splash image.		2018-05-13 19:51:50 -04:00
..
generations-dir	fix indentation in several nixos option descriptions	2016-12-16 18:29:25 +01:00
generic-extlinux-compatible	extlinux-conf-builder: Choose whether to use DTBs on per-generation basis	2016-07-10 03:03:51 +03:00
grub	nixos/grub: Implements use of file format for splashImage.	2018-05-13 19:51:50 -04:00
init-script
raspberrypi	raspberrypi-bootloader: Adds firmwareConfig config option	2018-04-22 18:27:17 +03:00
systemd-boot	Include date and NixOS version in systemd-boot entries	2017-09-02 14:28:34 -04:00
efi.nix
loader.nix