deploy.sh
Pushes commits to a Git remoteSource contains cp file-copy command
SHA-2568b7eeb9822e49bbfe36a22d846d5c06b4b7962330b3e4a5a64d59aeee1e45d66
MaleculeH₂(F₂Po₂)
Evidence
1#!/bin/sh
2
3set -ex
4
5cp doc/* target/doc/
6pip install ghp-import --user
7$HOME/.local/bin/ghp-import -n target/doc
8
9openssl aes-256-cbc -K $encrypted_9e86330b283d_key -iv $encrypted_9e86330b283d_iv -in ./ci/deploy.enc -out ./ci/deploy -d
10chmod 600 ./ci/deploy
11ssh-add ./ci/deploy
12git push -qf ssh://[email protected]/${TRAVIS_REPO_SLUG}.git gh-pages