From: Francois Fleuret Date: Thu, 14 Sep 2017 14:01:59 +0000 (+0200) Subject: Cosmetics. X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=406d3121d6e1c9c61a73410bbaf1083faf79b59b;p=xremote.git Cosmetics. --- 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