5 commits

Author	SHA1	Message	Date
Eduardo Sánchez Muñoz	043fdd448a	Add --fail flag to curl download commands ... By default, curls downloads the HTML error page and exits with code 0 when a server replies with a HTTP error code (e.g., 404), causing a SHA256 mismatch afterwards. Adding the `--fail` flag makes curl exit with non-zero error code and print an error like "The requested URL returned error: 404", making it a bit easier to diagnose distfile download issues. Also replaced `-L` with `--location` for the sake of script readability.	2023-03-19 12:28:09 +01:00
Eduardo Sánchez Muñoz	6f4afb4e3f	Make shellcheck happy	2022-11-28 20:10:30 +01:00
Eduardo Sánchez Muñoz	d91e31e6a2	Use bash as interpreter in download-distfiles.sh	2022-11-28 20:03:42 +01:00
Eduardo Sánchez Muñoz	71f67c7fbc	Add download-distfiles.sh to shellcheck and include reuse information	2022-11-28 20:00:18 +01:00
Eduardo Sánchez Muñoz	6de12d402f	Add script to download sysa and sysc distfiles without Python	2022-11-27 20:51:52 +01:00