79 lines
1.8 KiB
Bash
Executable File
79 lines
1.8 KiB
Bash
Executable File
#! /bin/bash
|
|
|
|
set -e
|
|
|
|
if [ ! -d html ]; then
|
|
echo "Please generate the html files first."
|
|
exit 1
|
|
fi
|
|
|
|
export GIT_AUTHOR_NAME="$(git log -1 --pretty=%an)"
|
|
export GIT_AUTHOR_EMAIL="$(git log -1 --pretty=%ae)"
|
|
|
|
export CURRENT_OWNER="$(git remote get-url origin | sed -e's@/[^/]\+$@@' -e's@.*[:/]\([^:/]\+\)$@\1@')"
|
|
export CURRENT_REVISION="$(git describe --always)"
|
|
export CURRENT_MESSAGE="$(git log -1 --pretty=%s)"
|
|
|
|
SRCDIR=$PWD
|
|
TMPDIR=$(mktemp -d)
|
|
|
|
(
|
|
cd $TMPDIR
|
|
|
|
# Clone the destination
|
|
echo
|
|
echo "Cloning GitHub pages"
|
|
echo "--------------------------------------------"
|
|
ssh-add -l
|
|
ssh -v github.com || true
|
|
git clone --tags git+ssh://git@github.com/$CURRENT_OWNER/prjxray-db.git --reference $SRCDIR/.git -b gh-pages html
|
|
echo "--------------------------------------------"
|
|
(
|
|
cd html
|
|
git log -1
|
|
find -type f | grep -v .git | sort
|
|
)
|
|
echo "--------------------------------------------"
|
|
|
|
echo
|
|
echo "Updating html"
|
|
echo "--------------------------------------------"
|
|
rm -rf html/*
|
|
cp -a $SRCDIR/html/* html/
|
|
(
|
|
cd html
|
|
# FIXME: Remove once kintex7 is working again
|
|
git checkout tags/kintex7 kintex7
|
|
git add --all .
|
|
)
|
|
echo "--------------------------------------------"
|
|
|
|
(
|
|
cd html
|
|
echo
|
|
echo "Committing"
|
|
echo "--------------------------------------------"
|
|
git status
|
|
echo "--------------------------------------------"
|
|
|
|
if [ ! -z "$TRAVIS" ]; then
|
|
git commit -a \
|
|
-m "Travis build #$TRAVIS_BUILD_NUMBER of $CURRENT_REVISION" \
|
|
-m "" \
|
|
-m "From https://github.com/$TRAVIS_REPO_SLUG/tree/$TRAVIS_COMMIT" \
|
|
-m "$TRAVIS_COMIT_MESSAGE"
|
|
else
|
|
git commit -a \
|
|
-m "Manual build of $CURRENT_REVISION" \
|
|
-m "" \
|
|
-m "$CURRENT_MESSAGE"
|
|
fi
|
|
echo
|
|
echo "Pushing"
|
|
echo "--------------------------------------------"
|
|
git push origin
|
|
echo "--------------------------------------------"
|
|
)
|
|
)
|
|
|