Permalink
Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign up
Fetching contributors…
Cannot retrieve contributors at this time
#!/bin/bash | |
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" | |
git worktree add -B gh-pages public origin/gh-pages | |
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)" && git push origin gh-pages |