publish-docs.sh 562 B

123456789101112131415161718
  1. #!/bin/bash
  2. HOST="$1"
  3. HOST_PATH="$2"
  4. SSH_PRIVATE_KEY="$3"
  5. SSH_KNOWN_HOST="$4"
  6. SSH_PRIVATE_KEY_PATH="$HOME/.ssh-ci/${GITHUB_REPOSITORY:-publish-docs}"
  7. if [ "$#" -ne 4 ]; then
  8. echo -e "not enough arguments USAGE:\n\n$0 \$HOST \$HOST_PATH \$SSH_PRIVATE_KEY \$SSH_KNOWN_HOSTS\n\n" >&2
  9. exit 1
  10. fi
  11. install -m 600 -D /dev/null "$SSH_PRIVATE_KEY_PATH"
  12. echo "$SSH_PRIVATE_KEY" > "$SSH_PRIVATE_KEY_PATH"
  13. echo "$SSH_KNOWN_HOST" > ~/.ssh/known_hosts
  14. rsync --delete -avze "ssh -i $SSH_PRIVATE_KEY_PATH" docs/build/site/ "$HOST:$HOST_PATH"
  15. rm -f "$SSH_PRIVATE_KEY_PATH"