Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
3.0 kB · 68 lines
Shell
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869#!/usr/bin/env nix-shell#! nix-shell -i bash --pure -p curl cacert libxml2 yq nix jq#! nix-shell -I nixpkgs=https://github.com/NixOS/nixpkgs/archive/3c7487575d9445185249a159046cc02ff364bff8.tar.gz# ^# |# nixos-unstable ~ 2023-07-06 -----------------/
set -o errexitset -o nounset
# scrape the downloads page for release info
curl -s -o eclipse-dl.html https://download.eclipse.org/eclipse/downloads/trap "rm eclipse-dl.html" EXIT
dlquery() { q=$1 xmllint --html eclipse-dl.html --xmlout 2>/dev/null | xq -r ".html.body.main.div.table[3].tr[1].td[0].a${q}";}
# extract release info from download page HTML
platform_major=$(dlquery '."#text" | split(".") | .[0]' -r);platform_minor=$(dlquery '."#text" | split(".") | .[1]' -r);
year=$(dlquery '."@href" | split("/") | .[] | select(. | startswith("R")) | split("-") | .[2] | .[0:4]')buildmonth=$(dlquery '."@href" | split("/") | .[] | select(. | startswith("R")) | split("-") | .[2] | .[4:6]')builddaytime=$(dlquery '."@href" | split("/") | .[] | select(. | startswith("R")) | split("-") | .[2] | .[6:12]')timestamp="${year}${buildmonth}${builddaytime}";
# account for possible release-month vs. build-month mismatches
month=$buildmonth;case "$buildmonth" in '02'|'04') month='03' ;; '05'|'07') month='06' ;; '08'|'10') month='09' ;; '11'|'01') month='12' ;;esac
ECLIPSES_JSON=$(dirname $0)/eclipses.json;
t=$(mktemp);# note: including platform_major, platform_minor, and version may seem redundant# the first two are needed for the derivation itself; the third is necessary so# that nixpkgs-update can see that the version changes as a result of this update# script.cat $ECLIPSES_JSON | jq ". + {platform_major: \"${platform_major}\",platform_minor: \"${platform_minor}\",version:\"${platform_major}.${platform_minor}\",year: \"${year}\",month: \"${month}\",buildmonth: \"${buildmonth}\",dayHourMinute: \"${builddaytime}\"}" > $t;mv $t $ECLIPSES_JSON;
# prefetch new download hashes
for id in $(cat $ECLIPSES_JSON | jq -r '.eclipses | keys | .[]'); do for arch in x86_64 aarch64; do if [ $(cat $ECLIPSES_JSON | jq -r ".eclipses.${id}.dropUrl") == "true" ]; then url="https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops${platform_major}/R-${platform_major}.${platform_minor}-${timestamp}/eclipse-${id}-${platform_major}.${platform_minor}-linux-gtk-${arch}.tar.gz"; else url="https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/technology/epp/downloads/release/${year}-${month}/R/eclipse-${id}-${year}-${month}-R-linux-gtk-${arch}.tar.gz"; fi
echo "prefetching ${id} ${arch}"; h=$(nix store prefetch-file --json "$url" | jq -r .hash);
t=$(mktemp); cat $ECLIPSES_JSON | jq -r ".eclipses.${id}.hashes.${arch} = \"${h}\"" > $t; mv $t $ECLIPSES_JSON; donedone