2020-10-30 22:02:38 +02:00
|
|
|
#! /bin/sh
|
2020-07-04 13:29:51 +02:00
|
|
|
|
|
|
|
|
repo_url="$1"
|
|
|
|
|
rev="$2"
|
|
|
|
|
|
2020-10-30 22:02:38 +02:00
|
|
|
[ -n "$rev" ] && \
|
|
|
|
|
output="$(nix-prefetch-git "$repo_url" --rev "$rev" 2>"/dev/null")" || \
|
|
|
|
|
output="$(nix-prefetch-git "$repo_url" 2>"/dev/null")"
|
2020-07-04 13:29:51 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
owner="$(echo "$repo_url" | sed 's/.*github\..*\/\(.*\)\/\(.*\)$/\1/')"
|
|
|
|
|
repo="$(echo "$repo_url" | sed 's/.*github\..*\/\(.*\)\/\(.*\)$/\2/')"
|
|
|
|
|
rev="${rev:-$(echo "$output" | grep "\"rev\": " | sed 's/.*: "\(.*\)".*$/\1/')}"
|
|
|
|
|
sha="$(echo "$output" | grep "\"sha256\": " | sed 's/.*: "\(.*\)".*$/\1/')"
|
|
|
|
|
|
|
|
|
|
echo "pkgs.fetchFromGitHub {"
|
|
|
|
|
echo " owner = \"$owner\";"
|
|
|
|
|
echo " repo = \"$repo\";"
|
|
|
|
|
echo " rev = \"$rev\";"
|
|
|
|
|
echo " sha256 = \"$sha\";"
|
|
|
|
|
echo "};"
|
