From 95ab929d49350c03b15c7965d8b5122d964a8943 Mon Sep 17 00:00:00 2001
From: Francois Fleuret <francois@fleuret.org>
Date: Sun, 17 Sep 2017 18:03:00 +0200
Subject: [PATCH] Minor update.

---
 xremote.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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}"
                 ;;
 
-- 
2.20.1