diff --git a/pull-site.sh b/pull-site.sh new file mode 100755 index 0000000000000000000000000000000000000000..0ad410b7d31a6bf33d17bed9e9093cb887fff985 --- /dev/null +++ b/pull-site.sh @@ -0,0 +1,13 @@ +#!/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