Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make Grep case insensitive in download script
Github made the location header lowercase, so our get.sh script was failing. This makes the grep case inseneitive. Tested by running the script to make sure it failed, then making the grep into a `grep -i` and running again, this time it worked. Signed-off-by: Alistair Hey <[email protected]>
- Loading branch information