3 #########################################################################
4 # This program is free software: you can redistribute it and/or modify #
5 # it under the terms of the version 3 of the GNU General Public License #
6 # as published by the Free Software Foundation. #
8 # This program is distributed in the hope that it will be useful, but #
9 # WITHOUT ANY WARRANTY; without even the implied warranty of #
10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU #
11 # General Public License for more details. #
13 # You should have received a copy of the GNU General Public License #
14 # along with this program. If not, see <http://www.gnu.org/licenses/>. #
16 # Written by and Copyright (C) Francois Fleuret #
17 # Contact <francois@fleuret.org> for comments & bug reports #
18 #########################################################################
23 ######################################################################
25 function check_remote_is_defined () {
26 if [[ "${REMOTE_HOST}" ]] && [[ "${REMOTE_DIR}" ]]
30 echo "@XREMOTE_HOST should come first." >&2
37 xremote.sh <executable>
39 This script takes a script as argument and executes it remotely in a
40 temporary directory on a ssh-accessible server.
42 It parses the script first to find embedded arguments which defines
43 the hostname on which to run it, the files to send, the files to
44 get back when the execution is done, and commands to execute before
45 running the executable remotely.
47 These arguments can appear multiple times, except the one that
48 specifies the remote host.
52 @XREMOTE_HOST: elk.fleuret.org
53 @XREMOTE_SEND: mnist.py
55 @XREMOTE_PRE: ln -s /home/fleuret/data/pytorch ./data
57 Contact <francois@fleuret.org> for comments.
63 function cleanup_remote_tmp () {
64 if [[ "${REMOTE_HOST}" ]] && [[ "${REMOTE_DIR}" ]]
66 echo "Clean up remote workdir."
67 ssh "${REMOTE_HOST}" "rm -rf \"${REMOTE_DIR}\""
71 ######################################################################
73 [[ -x "$1" ]] || (help && exit 1)
75 main="$(basename "$1")"
79 trap cleanup_remote_tmp EXIT
81 ######################################################################
86 if [[ "${line}" =~ '@XREMOTE' ]]
89 label=$(echo "${line}" | sed -e 's/^.*@XREMOTE_\([^:]*\):.*$/\1/')
90 value=$(echo "${line}" | sed -e 's/^.*@XREMOTE_[^:]*: *\(.*\)$/\1/')
95 check_remote_is_defined
96 ssh < /dev/null "${REMOTE_HOST}" "cd \"${REMOTE_DIR}\" && ${value}"
100 check_remote_is_defined
101 tar c "${value}" | ssh "${REMOTE_HOST}" "cd \"${REMOTE_DIR}\" && tar mx"
105 [[ "${REMOTE_DIR}" ]] && (exit "Remote host already defined!" >&2 && exit 1)
108 REMOTE_DIR="$(ssh </dev/null "${REMOTE_HOST}" mktemp -d /tmp/xremote.from_"$(hostname)_$(date +%Y%m%d)".XXXXXX)"
115 ######################################################################
117 check_remote_is_defined
119 tar c "${main}" | ssh "${REMOTE_HOST}" "cd \"${REMOTE_DIR}\" && tar mx"
121 echo "----------------------------------------------------------------------"
122 echo "-- On ${REMOTE_HOST}"
123 echo "----------------------------------------------------------------------"
124 ssh </dev/null "${REMOTE_HOST}" "cd \"${REMOTE_DIR}\" && ./$(basename "${main}")"
125 echo "----------------------------------------------------------------------"
127 ######################################################################
129 # Disable globbing to keep wildcards for the remote side
135 if [[ "${line}" =~ '@XREMOTE' ]]
137 label=$(echo "${line}" | sed -e 's/^.*@XREMOTE_\([^:]*\):.*$/\1/')
138 value=$(echo "${line}" | sed -e 's/^.*@XREMOTE_[^:]*: *\(.*\)$/\1/')
141 check_remote_is_defined
142 ssh </dev/null "${REMOTE_HOST}" "cd \"${REMOTE_DIR}\" && tar c ${value}" | tar mxv
150 ######################################################################