Patrick Hilhorst f7e390e6d4 treewide: fix redirected urls (run 3) ... Related: - 9fc5e7e473 - 593e11fd94 - 508ae42a0f Since the last time I ran this script, the Repology API changed, so I had to adapt the script used in the previous PR. The new API should be more robust, so overall this is a positive (no more grepping the error messages for our relevant data but just a nice json structure). Here's the new script I used: ```sh curl https://repology.org/api/v1/repository/nix_unstable/problems \ | jq -r '.[] | select(.type == "homepage_permanent_https_redirect") | .data | "s@\(.url)@\(.target)@"' \ | sort | uniq | tee script.sed find -name '*.nix' | xargs -P4 -- sed -f script.sed -i ``` I will also add this script to `maintainers/scripts`.		2020-10-02 09:01:35 -07:00
..
libipasirglucose4	acl2, acl2-minimal: build standard library, init	2020-08-01 23:38:54 -07:00
0001-Fix-some-paths-for-Nix-build.patch	acl2, acl2-minimal: build standard library, init	2020-08-01 23:38:54 -07:00
0002-Restrict-RDTSC-to-x86.patch	acl2, acl2-minimal: build standard library, init	2020-08-01 23:38:54 -07:00
default.nix	treewide: fix redirected urls (run 3)	2020-10-02 09:01:35 -07:00