nixpkgs/pkgs/tools/misc/grub
Benjamin Hipple 4e7c822dc6 grub: fetch from HTTPS instead of FTP; update meta (#48137)
HTTPS is unlikely to be worse and is often better than FTP. Aside from being
faster, there are many networking setups where outgoing FTP traffic is blocked.
2018-10-10 22:25:14 +02:00
..
pvgrub_image reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
2.0x.nix reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
buggybios.patch
default.nix grub: fetch from HTTPS instead of FTP; update meta (#48137) 2018-10-10 22:25:14 +02:00
fix-bash-completion.patch grub-2.0: fix bash completion script 2012-10-16 19:10:11 +02:00
grub1.patches.nix grub: grub-0.97-patch-1.15 -> grub-0.97-73 2018-09-17 09:31:36 -04:00
grub1.patches.sh grub: grub-0.97-patch-1.15 -> grub-0.97-73 2018-09-17 09:31:36 -04:00
symlink.patch
trusted.nix reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00