Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Fix fetch-configlet script Shamelessly dupes @coriolinus' fix: exercism/rust#929 "Looks like Github has recently started returning non-uppercased HTTP headers, at least some of the time. This broke the script, which looked for a case-sensitive 'Location' header to find the newest version. We can see this problem in spurious build failures like this." "This fixes the script such that it no longer cares whether the initial L is capital or not, and if it breaks again in the future, it will give a more informative error." * Add retry to fetch-configlet Riffing off of @glennj's fix exercism/bash#424 This fixes the problem by adding retries to the curl attempt, combined with the case-sensitivity fix. Also some of the logic has been reflowed. Most notably, we now dynamically check for what archive extension to use.
- Loading branch information