diff options
| author | Benjamin Hipple <bhipple@protonmail.com> | 2018-10-10 16:25:14 -0400 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-10-10 22:25:14 +0200 |
| commit | 4e7c822dc6bad757f704e3f7a522f19eea8ea2c9 (patch) | |
| tree | b3960db8410956911f2f44c974299f545b46f69b /pkgs/tools/misc/grub | |
| parent | adc6e9c2c4f4772defc36452e9aaf61da2e99cbc (diff) | |
| download | nixpkgs-4e7c822dc6bad757f704e3f7a522f19eea8ea2c9.tar nixpkgs-4e7c822dc6bad757f704e3f7a522f19eea8ea2c9.tar.gz nixpkgs-4e7c822dc6bad757f704e3f7a522f19eea8ea2c9.tar.bz2 nixpkgs-4e7c822dc6bad757f704e3f7a522f19eea8ea2c9.tar.lz nixpkgs-4e7c822dc6bad757f704e3f7a522f19eea8ea2c9.tar.xz nixpkgs-4e7c822dc6bad757f704e3f7a522f19eea8ea2c9.tar.zst nixpkgs-4e7c822dc6bad757f704e3f7a522f19eea8ea2c9.zip | |
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.
Diffstat (limited to 'pkgs/tools/misc/grub')
| -rw-r--r-- | pkgs/tools/misc/grub/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/tools/misc/grub/default.nix b/pkgs/tools/misc/grub/default.nix index f5ba8b7fe10..87e9814d899 100644 --- a/pkgs/tools/misc/grub/default.nix +++ b/pkgs/tools/misc/grub/default.nix @@ -1,12 +1,10 @@ -{stdenv, fetchurl, autoreconfHook, texinfo, buggyBiosCDSupport ? true}: +{ stdenv, fetchurl, autoreconfHook, texinfo, buggyBiosCDSupport ? true }: -let -in stdenv.mkDerivation { name = "grub-0.97-73"; src = fetchurl { - url = ftp://alpha.gnu.org/gnu/grub/grub-0.97.tar.gz; + url = https://alpha.gnu.org/gnu/grub/grub-0.97.tar.gz; sha256 = "02r6b52r0nsp6ryqfiqchnl7r1d9smm80sqx24494gmx5p8ia7af"; }; @@ -29,6 +27,8 @@ stdenv.mkDerivation { passthru.grubTarget = ""; meta = with stdenv.lib; { + homepage = https://www.gnu.org/software/grub; + description = "GRand Unified Bootloader"; license = licenses.gpl2; platforms = platforms.linux; }; |