Commit d21d15f4 authored by Maarten de Waard's avatar Maarten de Waard 🤘🏻
Browse files

add SSH key as in GitLab instructions

parent e970615f
Pipeline #3270 failed with stages
in 43 seconds
# Run ssh-agent and add ssh key.
eval $(ssh-agent -s)
ssh-add <(echo "$SSH_KEY")
echo "$SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add - > /dev/null
# Add server's ssh host key to known hosts.
mkdir -p ~/.ssh
[[ -f /.dockerenv ]] && echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts
# Install rsync.
# apt-get update
# apt-get install -y rsync
chmod 700 ~/.ssh
[[ -f /.dockerenv ]] && echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts
# Upload site.
rsync -r --verbose --compress --delete ./docs/_build/html/* \
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment