wu-arch/chipyard
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Slightly more robust run_script function

Browse Source
This commit is contained in:
abejgonzalez
2021-10-07 23:12:05 -07:00
parent 4584a37951
commit f4b88ac913
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/scripts/defaults.sh vendored
View File

@@ -9,7 +9,9 @@ run () {
} }
run_script () { 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 () { clean () {