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
archivesunleashed.org/publish_to_ghpages.sh
Find file
Copy path
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 |