From 308b9ff32c919e62a501647fe67946108933cfb4 Mon Sep 17 00:00:00 2001
From: Zachary Eisinger <zeisinger@github.com>
Date: Fri, 15 May 2020 14:21:50 -0700
Subject: [PATCH] Prettier and update bash

---
 externals/install-dotnet.sh | 13 +++++++------
 src/setup-dotnet.ts         |  2 +-
 2 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/externals/install-dotnet.sh b/externals/install-dotnet.sh
index 31303d9..0c20299 100755
--- a/externals/install-dotnet.sh
+++ b/externals/install-dotnet.sh
@@ -172,7 +172,7 @@ get_current_os_name() {
         return 0
     elif [ "$uname" = "FreeBSD" ]; then
         echo "freebsd"
-        return 0        
+        return 0
     elif [ "$uname" = "Linux" ]; then
         local linux_platform_name
         linux_platform_name="$(get_linux_platform_name)" || { echo "linux" && return 0 ; }
@@ -728,11 +728,12 @@ downloadcurl() {
     # Append feed_credential as late as possible before calling curl to avoid logging feed_credential
     remote_path="${remote_path}${feed_credential}"
 
+    local curl_options="--retry 20 --retry-delay 2 --connect-timeout 15 -sSL -f --create-dirs "
     local failed=false
     if [ -z "$out_path" ]; then
-        curl --retry 10 -sSL -f --create-dirs "$remote_path" || failed=true
+        curl $curl_options "$remote_path" || failed=true
     else
-        curl --retry 10 -sSL -f --create-dirs -o "$out_path" "$remote_path" || failed=true
+        curl $curl_options -o "$out_path" "$remote_path" || failed=true
     fi
     if [ "$failed" = true ]; then
         say_verbose "Curl download failed"
@@ -748,12 +749,12 @@ downloadwget() {
 
     # Append feed_credential as late as possible before calling wget to avoid logging feed_credential
     remote_path="${remote_path}${feed_credential}"
-
+    local wget_options="--tries 20 --waitretry 2 --connect-timeout 15 "
     local failed=false
     if [ -z "$out_path" ]; then
-        wget -q --tries 10 -O - "$remote_path" || failed=true
+        wget -q $wget_options -O - "$remote_path" || failed=true
     else
-        wget --tries 10 -O "$out_path" "$remote_path" || failed=true
+        wget $wget_options -O "$out_path" "$remote_path" || failed=true
     fi
     if [ "$failed" = true ]; then
         say_verbose "Wget download failed"
diff --git a/src/setup-dotnet.ts b/src/setup-dotnet.ts
index 4ba16af..b4fe690 100644
--- a/src/setup-dotnet.ts
+++ b/src/setup-dotnet.ts
@@ -32,7 +32,7 @@ export async function run() {
       const dotnetInstaller = new installer.DotnetCoreInstaller(version);
       await dotnetInstaller.installDotnet();
     }
-    
+
     const sourceUrl: string = core.getInput('source-url');
     const configFile: string = core.getInput('config-file');
     if (sourceUrl) {