From 406d3121d6e1c9c61a73410bbaf1083faf79b59b Mon Sep 17 00:00:00 2001 From: Francois Fleuret Date: Thu, 14 Sep 2017 16:01:59 +0200 Subject: [PATCH] Cosmetics. --- xremote.sh | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) 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