1 #!/bin/sh 2 3 GIT_URL=`git remote show origin | awk '/Push URL/ { print $NF }'` 4 DEPLOY_DIR=/tmp/deploy.$$ 5 mkdir ${DEPLOY_DIR} 6 (cd ${DEPLOY_DIR} ; \ 7 git clone ${GIT_URL} . \ 8 && git checkout gh-pages \ 9 && git rm -rf . 10 ) 11 cp -r _build/html/* ${DEPLOY_DIR} 12 touch ${DEPLOY_DIR}/.nojekyll 13 (cd ${DEPLOY_DIR} ; \ 14 git add .nojekyll * \ 15 && git commit -m "deploy" \ 16 && git push) 17 18 rm -rf ${DEPLOY_DIR} 19
