cutter/scripts/deploy_docs.sh

#!/bin/bash

cd $(dirname "${BASH_SOURCE[0]}")/..

cutter_timestamp=$(git show -s --format=%ct)
cutter_commit="$(git show -s --format="%H %s")"

echo "Cloning current cutter.re"

git clone --depth 1 git@github.com:rizinorg/cutter.re.git || exit 1

echo "Updating docs"

rm -rf cutter.re/docs
cp -a docs/build/html cutter.re/docs || exit 1

echo "Committing new changes"

cd cutter.re || exit 1
docs_timestamp=$(git show -s --format=%ct)
if [ $docs_timestamp -ge $cutter_timestamp ]; then
	echo "Last commit on cutter.re is newer than this commit on cutter. Skipping."
	exit 0
fi

git add . || exit 1
git diff --cached --quiet && echo "No changes." && exit 0
printf "Update docs from rizinorg/cutter\n\nOriginal Commit:\n$cutter_commit" | git commit -F -
git push origin master || exit 1