From 6261f9d8ea170ada8c46ca45b4d41fbbefe87631 Mon Sep 17 00:00:00 2001
From: Alissa Huskey <alissa.huskey@gmail.com>
Date: Wed, 13 Nov 2019 01:10:04 -0700
Subject: [PATCH] Fix bootstrap IDE type check to allow for gzip

---
 tests/script/bootstrap/arduino.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/script/bootstrap/arduino.sh b/tests/script/bootstrap/arduino.sh
index d64fc4b..fe163a0 100644
--- a/tests/script/bootstrap/arduino.sh
+++ b/tests/script/bootstrap/arduino.sh
@@ -30,7 +30,7 @@ if [ -z "$ARDUINO_DIR" ] || ! test -e $ARDUINO_DIR || [ $OS == "cygwin" ]; then
         download $ARDUINO_URL $ARDUINO_FILE
 
         download_type="$(file --mime-type $DEPENDENCIES_FOLDER/$ARDUINO_FILE)"
-        if [[ ! "$download_type" =~ application\/zip ]]; then
+        if [[ ! "$download_type" =~ zip ]]; then
           mv $ARDUINO_FILE "bad-$ARDUINO_FILE"
 
           echo