tjh.dev
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.
authored by
Benjamin Hipple
and committed by
xeji
4e7c822d
adc6e9c2
+4
-4
pkgs/tools/misc/grub/default.nix
+4
-4
pkgs/tools/misc/grub/default.nix
···
1
-
{stdenv, fetchurl, autoreconfHook, texinfo, buggyBiosCDSupport ? true}:
2
3
-
let
4
-
in
5
stdenv.mkDerivation {
6
name = "grub-0.97-73";
7
8
src = fetchurl {
9
-
url = ftp://alpha.gnu.org/gnu/grub/grub-0.97.tar.gz;
10
sha256 = "02r6b52r0nsp6ryqfiqchnl7r1d9smm80sqx24494gmx5p8ia7af";
11
};
12
···
29
passthru.grubTarget = "";
30
31
meta = with stdenv.lib; {
32
license = licenses.gpl2;
33
platforms = platforms.linux;
34
};
···
1
+
{ stdenv, fetchurl, autoreconfHook, texinfo, buggyBiosCDSupport ? true }:
2
3
stdenv.mkDerivation {
4
name = "grub-0.97-73";
5
6
src = fetchurl {
7
+
url = https://alpha.gnu.org/gnu/grub/grub-0.97.tar.gz;
8
sha256 = "02r6b52r0nsp6ryqfiqchnl7r1d9smm80sqx24494gmx5p8ia7af";
9
};
10
···
27
passthru.grubTarget = "";
28
29
meta = with stdenv.lib; {
30
+
homepage = https://www.gnu.org/software/grub;
31
+
description = "GRand Unified Bootloader";
32
license = licenses.gpl2;
33
platforms = platforms.linux;
34
};