diff options
author | jkoan <jkoan@users.noreply.github.com> | 2018-02-12 21:20:38 +0100 |
---|---|---|
committer | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2018-02-12 12:20:38 -0800 |
commit | dbc50091a289b6f99aae0a9f23311fba22f85685 (patch) | |
tree | b39c57992c5f2f3cecc17798b0465e732b2a892c | |
parent | c335e078fcc06c302a7d95de38787c1978db2c55 (diff) | |
download | navit-dbc50091a289b6f99aae0a9f23311fba22f85685.tar.gz |
change:build:Move update of doxygen to own script (#404)
* Create update script
* Update config.yml
* Add correct syntax
-rw-r--r-- | .circleci/config.yml | 16 | ||||
-rw-r--r-- | ci/update_doxygen.sh | 15 |
2 files changed, 16 insertions, 15 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 3d79961be..f4c9956d8 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -28,21 +28,7 @@ jobs: command: cd navit && doxygen - run: name: Update results to Github - command: | - mkdir /root/.ssh - chmod 0600 /root/.ssh - echo 'github.com ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==' >> ~/.ssh/known_hosts - git clone -b gh-pages git@github.com:navit-gps/navit.git /root/navit-doc - cd /root/navit-doc - git config --global push.default simple - git config user.name "Circle CI" - git config user.email "circleci@navit-project.org" - rsync -vrtza --exclude '.git' --delete /root/project/doc/html/ /root/navit-doc/ - echo "" > .nojekyll - echo "doxygen.navit-project.org" > CNAME - git add . - git commit -am "update:doc:Doxygen update for commit ${CIRCLE_SHA1} [ci skip]" || true - git push + command: bash ci/update_doxygen.sh - store_artifacts: path: /root/project/doc build_android_arm: diff --git a/ci/update_doxygen.sh b/ci/update_doxygen.sh new file mode 100644 index 000000000..7a76f1fd1 --- /dev/null +++ b/ci/update_doxygen.sh @@ -0,0 +1,15 @@ +#!/bin/bash +set -e +mkdir -p ~/.ssh/ +ssh-keyscan github.com >> ~/.ssh/known_hosts +git clone -b gh-pages git@github.com:navit-gps/navit.git /root/navit-doc +cd /root/navit-doc +git config --global push.default simple +git config user.name "Circle CI" +git config user.email "circleci@navit-project.org" +rsync -vrtza --exclude '.git' --delete /root/project/doc/html/ /root/navit-doc/ +echo "" > .nojekyll +echo "doxygen.navit-project.org" > CNAME +git add . +git commit -am "update:doc:Doxygen update for commit ${CIRCLE_SHA1} [ci skip]" || true +git push |