From: Francois Fleuret <francois@fleuret.org>
Date: Sun, 17 Sep 2017 16:03:00 +0000 (+0200)
Subject: Minor update.
X-Git-Url: https://www.fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=xremote.git;a=commitdiff_plain;h=95ab929d49350c03b15c7965d8b5122d964a8943

Minor update.
---

diff --git a/xremote.sh b/xremote.sh
index dca62c6..d425792 100755
--- a/xremote.sh
+++ b/xremote.sh
@@ -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}"
                 ;;