diff options
| author | Even Rouault <even.rouault@spatialys.com> | 2018-06-25 23:03:24 +0200 |
|---|---|---|
| committer | Even Rouault <even.rouault@spatialys.com> | 2018-06-25 23:03:24 +0200 |
| commit | a1b1e1ea32f8f5f6c6184afe64b8be1c6884e28b (patch) | |
| tree | 72617387f8e5b0794450a9df478bdd150f58aee0 | |
| parent | 17485da88101e9079f4137024a2cdd4063c5ad21 (diff) | |
| download | PROJ-a1b1e1ea32f8f5f6c6184afe64b8be1c6884e28b.tar.gz PROJ-a1b1e1ea32f8f5f6c6184afe64b8be1c6884e28b.zip | |
deploy_website.sh: update gh-pages with a single force-pushed commit (fixes #1059)
This will avoid the history of gh-pages to grow indifinitely, and thus
the size of the PROJ git repository, whereas it has heavy binary objects
like proj.pdf that are modified by each commit.
| -rwxr-xr-x | travis/deploy_website.sh | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/travis/deploy_website.sh b/travis/deploy_website.sh index 07e2c556..387778be 100755 --- a/travis/deploy_website.sh +++ b/travis/deploy_website.sh @@ -3,22 +3,27 @@ builddir=$1 destdir=$2 - -git clone git@github.com:OSGeo/proj.4.git $destdir/projdocs -cd $destdir/projdocs -git checkout gh-pages - +rm -rf $destdir/projdocs +mkdir -p $destdir/projdocs cd $builddir/html cp -rf * $destdir/projdocs cp $builddir/latex/proj.pdf $destdir/projdocs cd $destdir/projdocs +git init +git checkout -b gh-pages +git remote add origin git@github.com:OSGeo/proj.4.git + git config user.email "proj4bot@proj4.bot" git config user.name "proj.4 deploybot" +# A few files we must manually create +echo "_site" > .gitignore +touch .nojekyll +echo "proj4.org" > CNAME git add -A git commit -m "update with results of commit https://github.com/OSGeo/proj.4/commit/$TRAVIS_COMMIT" -git push origin gh-pages +git push -f origin gh-pages |