Commit d15ecf49 authored by Jakub Klinkovský's avatar Jakub Klinkovský
Browse files

Documentation/deploy: specify custom UserKnownHostsFile

parent 6966dca2

Documentation/deploy

+6 −0
Original line number Diff line number Diff line
@@ -25,5 +25,11 @@ if [[ "$TNL_DOC_DEPLOY_KEY" != "" ]]; then 
   echo "$TNL_DOC_DEPLOY_KEY" | base64 -d > "$tempfile"

   SSH_ARGS="$SSH_ARGS -i $tempfile"

fi

if [[ "$TNL_DOC_DEPLOY_HOSTKEY" != "" ]]; then

   tempfile=$(mktemp)

   trap "rm -f $tempfile" EXIT

   echo "$TNL_DOC_DEPLOY_HOSTKEY" | base64 -d > "$tempfile"

   SSH_ARGS="$SSH_ARGS -o UserKnownHostsFile=$tempfile"

fi



rsync -e "ssh $SSH_ARGS" -P -rvzc --cvs-exclude --delete "$OUTPUTDIR/" "$SSH_USER@$SSH_HOST:$SSH_TARGET_DIR"