X-Git-Url: https://www.fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=xremote.git;a=blobdiff_plain;f=xremote.sh;fp=xremote.sh;h=dca62c6badecab31616cfd0fe630da8577118cf8;hp=83f984ebbdb13b6dea9e91a3bd5ff3232c657225;hb=406d3121d6e1c9c61a73410bbaf1083faf79b59b;hpb=9241850435948e2f3c91fbdf620acfecbf26c9b9 diff --git a/xremote.sh b/xremote.sh index 83f984e..dca62c6 100755 --- a/xremote.sh +++ b/xremote.sh @@ -67,7 +67,7 @@ EOF function cleanup_remote_tmp () { if [[ "${REMOTE_HOST}" ]] && [[ "${REMOTE_DIR}" ]] then - echo "Clean up remote workdir." + echo "xremote: Clean up remote workdir." ssh "${REMOTE_HOST}" "rm -rf \"${REMOTE_DIR}\"" fi } @@ -114,7 +114,7 @@ do [[ "${REMOTE_DIR}" ]] && (exit "Remote host already defined!" >&2 && exit 1) REMOTE_HOST="${value}" [[ "${REMOTE_HOST}" ]] || REMOTE_HOST="${XREMOTE_HOST}" - [[ "${REMOTE_HOST}" ]] || (echo "No remote host specified." >&2 && exit 1) + [[ "${REMOTE_HOST}" ]] || (echo "xremote: No remote host specified." >&2 && exit 1) REMOTE_DIR="$(ssh