mirror of
https://github.com/evennia/evennia.git
synced 2026-03-16 21:06:30 +01:00
37 lines
951 B
Bash
37 lines
951 B
Bash
#
|
|
# deploy to github
|
|
#
|
|
# This copies the recently built files from build/html into the github-gh branch. Note that
|
|
# it's important that build/ must not be committed to git!
|
|
#
|
|
|
|
if [ -n "$(git status --untracked-files=no --porcelain)" ]; then
|
|
echo "There are uncommitted changes. Make sure to commit everything in your current branch first."
|
|
exit 1
|
|
fi
|
|
|
|
# get the deployment branch
|
|
git fetch
|
|
git checkout gh-pages
|
|
# at this point we should be inside the docs/ folder of the gh-pages branch,
|
|
# with the build/ directory available since this is not in git
|
|
|
|
# remove all but the build dir
|
|
ls -Q | grep -v build | xargs rm -Rf
|
|
|
|
cp -Rf build/html/* .
|
|
# TODO automate this?
|
|
ln -s 0.9.5 latest
|
|
ln -s 0.9.5/index.html .
|
|
|
|
# docs/build is in .gitignore so will not be included
|
|
git add .
|
|
|
|
git commit -a -m "Updated HTML docs"
|
|
|
|
git push origin gh-pages
|
|
|
|
# get back to previous branch
|
|
git checkout -
|
|
|
|
echo "Deployed to https://evennia.github.io/evennia/"
|