From a55d6f4b7f91d46fccddbabc7d8b4aad3bcd4029 Mon Sep 17 00:00:00 2001 From: lassulus Date: Tue, 22 Nov 2022 00:02:53 +0100 Subject: remove broken nix-prefetch-github --- krebs/5pkgs/simple/nix-prefetch-github.nix | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100644 krebs/5pkgs/simple/nix-prefetch-github.nix (limited to 'krebs/5pkgs') diff --git a/krebs/5pkgs/simple/nix-prefetch-github.nix b/krebs/5pkgs/simple/nix-prefetch-github.nix deleted file mode 100644 index 14096c33..00000000 --- a/krebs/5pkgs/simple/nix-prefetch-github.nix +++ /dev/null @@ -1,25 +0,0 @@ -{ curl, jq, nix, writeDashBin }: - -writeDashBin "nix-prefetch-github" '' - # usage: nix-prefetch-github OWNER REPO [REF] - set -efu - - owner=$1 - repo=$2 - ref=''${3-master} - - info_url=https://api.github.com/repos/$owner/$repo/commits/$ref - info=$(${curl}/bin/curl -fsS "$info_url") - rev=$(printf %s "$info" | ${jq}/bin/jq -r .sha) - - name=$owner-$repo-$ref - url=https://github.com/$owner/$repo/tarball/$rev - sha256=$(${nix}/bin/nix-prefetch-url --name "$name" --unpack "$url") - - export owner repo rev sha256 - ${jq}/bin/jq -n ' - env | { - owner, repo, rev, sha256 - } - ' -'' -- cgit v1.2.3