diff options
author | lassulus <lassulus@lassul.us> | 2022-11-22 00:02:53 +0100 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2022-11-22 00:02:53 +0100 |
commit | a55d6f4b7f91d46fccddbabc7d8b4aad3bcd4029 (patch) | |
tree | 9245cebbdd07b3e161f2f04dfddb9aac0d976cd1 /krebs/5pkgs/simple | |
parent | 336caf2832d97892bd27a90881121740d57b3906 (diff) |
remove broken nix-prefetch-github
Diffstat (limited to 'krebs/5pkgs/simple')
-rw-r--r-- | krebs/5pkgs/simple/nix-prefetch-github.nix | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/krebs/5pkgs/simple/nix-prefetch-github.nix b/krebs/5pkgs/simple/nix-prefetch-github.nix deleted file mode 100644 index 14096c33f..000000000 --- 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 - } - ' -'' |