From bcdde1c850add522bca5ba03f830eb626794ae70 Mon Sep 17 00:00:00 2001 From: Rob Winch Date: Fri, 9 Sep 2022 15:10:05 -0500 Subject: [PATCH] Fix error message to use SSH_KNOWN_HOST variable properly Previously SSH_KNOWN_HOSTS was used which is undefined. --- .github/actions/publish-docs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/actions/publish-docs.sh b/.github/actions/publish-docs.sh index 0f75f39c3d..87451a4574 100755 --- a/.github/actions/publish-docs.sh +++ b/.github/actions/publish-docs.sh @@ -7,7 +7,7 @@ SSH_KNOWN_HOST="$4" SSH_PRIVATE_KEY_PATH="$HOME/.ssh/${GITHUB_REPOSITORY:-publish-docs}" if [ "$#" -ne 4 ]; then - echo -e "not enough arguments USAGE:\n\n$0 \$HOST \$HOST_PATH \$SSH_PRIVATE_KEY \$SSH_KNOWN_HOSTS\n\n" >&2 + echo -e "not enough arguments USAGE:\n\n$0 \$HOST \$HOST_PATH \$SSH_PRIVATE_KEY \$SSH_KNOWN_HOST\n\n" >&2 exit 1 fi