Minor update.

diff --git a/xremote.sh b/xremote.sh
index dca62c6..d425792 100755 (executable)
--- 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
   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
   running the executable remotely.
 
   These arguments can appear multiple times, except the one that


@@ -97,6 +97,7 @@ do
 
             EXEC)
                 check_remote_is_defined
 
             EXEC)
                 check_remote_is_defined

+                [[ "${REMOTE_EXEC}" ]] && (exit "Remote executable already defined!" >&2 && exit 1)

                 REMOTE_EXEC="${value}"
                 ;;
 
                 REMOTE_EXEC="${value}"
                 ;;