From f0daa99db0ae5f36faa1e46c9d2ddf5803f502db Mon Sep 17 00:00:00 2001
From: kpochwala <k.pochwala@gmail.com>
Date: Wed, 10 Jul 2019 02:09:14 +0200
Subject: [PATCH] dudated arduino toolchain URL

---
 marlintool.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/marlintool.sh b/marlintool.sh
index 4990b81..2eb2e2a 100755
--- a/marlintool.sh
+++ b/marlintool.sh
@@ -27,9 +27,9 @@ getArduinoToolchain()
 {
    echo -e "\nDownloading Arduino environment ...\n"
    if [ "$os" == "Darwin" ]; then
-     curl -o "$arduinoToolchainArchive" http://downloads-02.arduino.cc/"$arduinoToolchainArchive"
+     curl -o "$arduinoToolchainArchive" http://downloads.arduino.cc/"$arduinoToolchainArchive"
    else
-     wget http://downloads-02.arduino.cc/"$arduinoToolchainArchive"
+     wget http://downloads.arduino.cc/"$arduinoToolchainArchive"
    fi
    mkdir -p "$arduinoDir/portable"
    echo -e "\nUnpacking Arduino environment. This might take a while ...\n"