1 #! /usr/bin/env nix-shell
2 #! nix-shell -i bash --pure -p curl cacert libxml2 yq nix jq
6 cd "$(dirname "${BASH_SOURCE[0]}")"
9 # scrape the downloads page for release info
10 newver
=$
(curl
-s 'https://download.eclipse.org/jdtls/milestones/' | xmllint
--html - --xmlout 2>/dev
/null | xq
--raw-output '.html.body.main.div.div.div[0].div.table.tr | max_by(.td[3]).td[1].a.["#text"]')
12 prefix
="https://download.eclipse.org/jdtls/milestones/$newver"
14 filename
=$
(curl
-s "$prefix/latest.txt")
15 newtimestamp
=$
(echo $filename |
sed "s|^.*-$newver-||;s|\.tar\.gz$||")
16 newhash
="$(nix-hash --to-sri --type sha256 $(nix-prefetch-url "$prefix/$filename"))";
19 -e "/^ version =/ s|\".*\"|\"$newver\"|" \
20 -e "/^ timestamp =/ s|\".*\"|\"$newtimestamp\"|" \
21 -e "/^ hash =/ s|\".*\"|\"$newhash\"|" \