From a3f3fca6b629dacea4791ce9350868ec66ac8023 Mon Sep 17 00:00:00 2001
From: Pierre-Antoine Rouby <pierre-antoine.rouby@inrae.fr>
Date: Mon, 31 Jul 2023 11:05:11 +0200
Subject: [PATCH] tools: ssh: Minor change on ssh run tool script.

---
 tools/ssh-run.sh | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/tools/ssh-run.sh b/tools/ssh-run.sh
index 9c59bb9f..a7ca1af7 100755
--- a/tools/ssh-run.sh
+++ b/tools/ssh-run.sh
@@ -1,10 +1,14 @@
 #! /bin/sh
 
-# > ssh-run.sh SERVER DESTDIR SOLVER INPUT
+# > ssh-run.sh SERVER DESTDIR SOLVER ARGS INPUT
 
 # First argument is the server name/addr
 # The second argument is the destination directory to copy input data
 # The third argument is the solver path
-# The fourth argument is the input name
+# The fourth argument is an solver args separate by ',' or input name
+# The sixth argument is the input name or nothing
 
-ssh $1 "cd $2; $3 $4"
+args=$(echo $4 | tr ',' ' ')
+
+echo "ssh $1 \"cd $2; $3 $args $5\""
+ssh $1 "cd $2; $3 $args $5"
-- 
GitLab