diff --git a/.deploy.sh b/.deploy.sh index b06b4c8215a6eda048146e903980b64176ce3aa3..8be034c11daf33c0c704e5ea88ec73417c9e1228 100755 --- a/.deploy.sh +++ b/.deploy.sh @@ -10,5 +10,5 @@ set -x USER=${DOC_DEPLOY_USER:+${DOC_DEPLOY_USER}@} SERVER=${DOC_DEPLOY_SERVER:-shell1.doc.ic.ac.uk} PTH=${DOC_DEPLOY_PATH:-/vol/rr/www} -exec rsync -e ssh --chmod=Dg+s,ug+rwX,o+rX --chown=:rr -igrp --delete _site/ "${USER}${SERVER}:${PTH}" +exec rsync -e "ssh -o StrictHostKeyChecking=no" --chmod=Dg+s,ug+rwX,o+rX --chown=:rr -igrp --delete _site/ "${USER}${SERVER}:${PTH}"