Commit Graph

6 Commits

Author SHA1 Message Date
Matt McHenry
7038374093 eclipses: fix update script to handle new download page format
there is now a convenient data.json that makes scraping much easier
2026-03-17 22:53:52 -04:00
Matt McHenry
91957ae4ac eclipse: fix update script to fail on prefetch failures 2025-12-11 19:57:21 -05:00
Matt McHenry
3550ffd1d3 eclipses: add version to eclipses.json
this is necessary for the auto-update script to be able to see that
the version has changed as a result of running update.sh.
2025-04-14 11:22:32 -04:00
Matt McHenry
5bb31f9518 eclipses: implement an updateScript
this is a relatively simple recasting of the existing update script,
using the "object addition" feature of 'jq' to incrementally update
the eclipses.json document with the URL components and their hashes.

it does end up defining the same update script for every eclipse
packaging, but in local testing, maintainers/scripts/update.nix seems
smart enough to realize it should only run that script once.
2025-04-01 13:54:57 -04:00
Matt McHenry
52069f4fe5 eclipses: fix update script to avoid extra escapes in url output 2024-10-09 22:22:20 -04:00
Matt McHenry
8a77077879 eclipses: create minimal update.sh
this isn't complete enough to use as a formal updateScript yet, but
it's definitely an improvement over the current purely-manual process.

Co-authored-by: Robert Helgesson <robert@rycee.net>
2023-09-29 20:34:05 +02:00