Minor update.
authorFrancois Fleuret <francois@fleuret.org>
Sun, 17 Sep 2017 16:03:00 +0000 (18:03 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Sun, 17 Sep 2017 16:03:00 +0000 (18:03 +0200)
xremote.sh

index dca62c6..d425792 100755 (executable)
@@ -40,8 +40,8 @@ xremote.sh <script>
   temporary directory on a ssh-accessible server.
 
   It parses the script first to find embedded arguments which defines
-  the hostname on which to run it, the files to send, the files to
-  get back when the execution is done, and commands to execute before
+  the hostname on which to run, the files to send, the files to get
+  back when the execution is over, and commands to execute before
   running the executable remotely.
 
   These arguments can appear multiple times, except the one that
@@ -97,6 +97,7 @@ do
 
             EXEC)
                 check_remote_is_defined
+                [[ "${REMOTE_EXEC}" ]] && (exit "Remote executable already defined!" >&2 && exit 1)
                 REMOTE_EXEC="${value}"
                 ;;