2018-09-26 10:52:30 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
PRIVATE_KEY="cfg/id_rsa"
|
|
|
|
|
|
|
|
|
|
chmod 600 "${PRIVATE_KEY}"
|
|
|
|
|
eval `ssh-agent -s`
|
|
|
|
|
ssh-add "${PRIVATE_KEY}"
|
2018-09-26 12:54:55 +02:00
|
|
|
mkdir ~/.ssh
|
|
|
|
|
chmod 700 ~/.ssh
|
2018-09-26 12:32:50 +02:00
|
|
|
ssh-keyscan github.com >> ~/.ssh/known_hosts
|
2018-09-26 10:52:30 +02:00
|
|
|
git config user.name "Travis CI Publisher"
|
|
|
|
|
git remote add docu "git@github.com:$TRAVIS_REPO_SLUG.git";
|
|
|
|
|
git fetch docu gh-pages:gh-pages
|
|
|
|
|
echo "Pushing to gh-pages of repository $TRAVIS_REPO_SLUG"
|
|
|
|
|
cd documentation
|
|
|
|
|
mkdocs gh-deploy -v --clean --remote-name docu
|
