2022-11-11 21:14:34 +00:00
|
|
|
#!/bin/bash -ex
|
|
|
|
|
|
2022-11-12 03:41:13 +00:00
|
|
|
export GIT_AUTHOR_NAME="${GIT_AUTHOR_NAME}"
|
|
|
|
|
export GIT_AUTHOR_EMAIL="${GIT_AUTHOR_EMAIL}"
|
|
|
|
|
|
2022-11-11 21:14:34 +00:00
|
|
|
REMOTE=$(git remote get-url origin)
|
|
|
|
|
|
|
|
|
|
rm -fr pages.git
|
|
|
|
|
mkdir pages.git
|
|
|
|
|
|
|
|
|
|
( cd pages.git && git init -b pages )
|
|
|
|
|
rsync -av public/* pages.git
|
|
|
|
|
|
|
|
|
|
cat << EOF > pages.git/.domains
|
|
|
|
|
neilhanlon.me
|
|
|
|
|
neilhanlon.com
|
|
|
|
|
hanlon.ninja
|
|
|
|
|
thepotato.tech
|
|
|
|
|
EOF
|
|
|
|
|
|
|
|
|
|
cd pages.git
|
|
|
|
|
|
|
|
|
|
git add -A
|
|
|
|
|
git commit -m "Deployment at $(date -u -Is)"
|
|
|
|
|
git remote add origin $REMOTE
|
|
|
|
|
git push -f origin pages
|
