2019-05-12 04:16:31 -07:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
DIR=$(dirname "$0")
|
|
|
|
|
|
|
|
if [[ $(git status -s) ]]
|
|
|
|
then
|
|
|
|
echo "The working directory is dirty. Please commit any pending changes."
|
|
|
|
exit 1;
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo "Deleting old publication"
|
|
|
|
rm -rf public
|
|
|
|
mkdir public
|
|
|
|
git worktree prune
|
|
|
|
rm -rf .git/worktrees/public/
|
|
|
|
|
|
|
|
echo "Checking out gh-pages branch into public"
|
2019-05-12 15:13:53 -07:00
|
|
|
git worktree add -B gh-pages public origin/gh-pages
|
2019-05-12 04:16:31 -07:00
|
|
|
|
|
|
|
echo "Removing existing files"
|
|
|
|
rm -rf public/*
|
|
|
|
|
|
|
|
echo "Generating site"
|
|
|
|
hugo
|
|
|
|
|
|
|
|
echo "Updating gh-pages branch"
|
|
|
|
cd public && git add --all && git commit -m "Publishing to gh-pages (publish.sh)"
|
2019-05-12 15:21:43 -07:00
|
|
|
cd ..
|
|
|
|
|
|
|
|
echo "done!"
|
2019-05-12 04:16:31 -07:00
|
|
|
|