Please sign in to comment.
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 insensitive. 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 <firstname.lastname@example.org>
- Loading branch information