]>
git.immae.eu Git - perso/Immae/Config/Nix.git/blob - fetch_version
5 echo "$0 [-n|--name name] [-b|--branch branch] [-h|--help] (-u|--url) url"
10 while [[ $# -gt 0 ]]; do
17 name
="$(echo "$content" | jq -r ".meta.name")"
18 url
="$(echo "$content" | jq -r ".meta.url")"
19 branch
="$(echo "$content" | jq -r ".meta.branch")"
38 if [ -z "$url" ]; then
41 if [ -z "$name" ]; then
42 name
=$(echo "$url" | cut -d"/" -f5)
44 if [ -z "$file" ]; then
48 # function fetch_ledger () {
49 # pushd $HOME/projets/ledger >/dev/null 2>/dev/null
51 # tag="$(git describe origin/next | sed -e "s/^v//")"
52 # rev="$(git show-ref -s refs/remotes/origin/next)"
53 # sha="$(nix-prefetch-url --unpack file://<(git archive --format=tar.gz HEAD) 2>/dev/null)"
54 # popd >/dev/null 2>/dev/null
57 # awk_describe='BEGIN {
59 # while ("git ls-remote " ARGV[1] "| sort -Vk2" | getline) {
61 # sha = substr($0, 1, 7)
64 # while ("curl -s " ARGV[1] "/releases/tag/" tag | getline)
67 # printf com ? "%s-%s-g%s\n" : "%s\n", tag, com, sha
70 function fetch_github
() {
71 rev="$(git ls-remote --refs $url refs/heads/$branch | head -n1 | cut -f1)"
72 sha
="$(nix-prefetch-url --unpack $url/archive/$branch.tar.gz)"
73 # Différent du git-describe et github-spécifique
74 #tag=$(echo "$awk_describe" | awk -f - $url | sed -e "s/^v//")
75 tag
=${rev:0:7}-$branch
78 fetch_github
2>/dev
/null
80 owner
=$(echo "$url" | cut -d"/" -f4)
81 repo
=$(echo "$url" | cut -d"/" -f5)
95 "fetchSubmodules": true
101 --arg owner
"$owner" \
106 --arg branch
"$branch" \