From f4b88ac9135ad776adf3782041a500dc464d7a3f Mon Sep 17 00:00:00 2001
From: abejgonzalez <abe.j.gonza@gmail.com>
Date: Thu, 7 Oct 2021 23:12:05 -0700
Subject: [PATCH] Slightly more robust run_script function

---
 .github/scripts/defaults.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/scripts/defaults.sh b/.github/scripts/defaults.sh
index 3d08e74b..f250023b 100755
--- a/.github/scripts/defaults.sh
+++ b/.github/scripts/defaults.sh
@@ -9,7 +9,9 @@ run () {
 }
 
 run_script () {
-    ssh -o "ServerAliveInterval=60" -o "StrictHostKeyChecking no" -t $SERVER 'bash -s' < $1 "$2"
+    SCRIPT=$1
+    shift
+    ssh -o "ServerAliveInterval=60" -o "StrictHostKeyChecking no" -t $SERVER 'bash -s' < $SCRIPT "$@"
 }
 
 clean () {