Skip to content
Snippets Groups Projects
Commit 32094c79 authored by William E Warriner's avatar William E Warriner
Browse files

create site pulling script

parent 8c16410e
No related branches found
No related tags found
No related merge requests found
#!/bin/bash
if [ -d site/ ]; then
echo "Delete the site/ directory before pulling site data."
exit 1
fi
curl -LO https://github.com/uabrc/uabrc.github.io/archive/refs/heads/gh-pages.tar.gz
mkdir -p site/
tar -xvf gh-pages.tar.gz -C site/
mv site/uabrc.github.io-gh-pages/{.[!.]*,*} site/
rmdir site/uabrc.github.io-gh-pages
rm gh-pages.tar.gz
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment