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