update-version.sh

#!/bin/bash

if [[ $# -ne 3 || "$1" == "--help" || "$1" = "-h" ]]; then
    name=$(basename $0)
    cat <<-USAGE
    Usage: $name workbranch base/branch version

    * workbranch will be created locally from base/branch. If it exists,
        it will be reused, so make sure you don't overwrite any work.
    * base/branch may be specified as user:branch to allow easy copying
        from Github PRs.
USAGE
    exit 0
fi

work="$1"
shift

base=$(echo "$1" | sed "s/:/\//")
shift

version=$1
shift

set -e

git fetch upstreams

git checkout -B "${work}" --no-track "${base}"

push=$(git rev-parse --abbrev-ref --symbolic-full-name '@{push}' \
    2>/dev/null) || true
if [[ "${push}" != "" ]]; then
    echo "Warning: ${push} may already exist."
fi

build=$(find -name BuildInfo.cpp)
sed 's/\(^.*versionString =\).*$/\1 "'${version}'"/' ${build} >version.cpp &&
    diff "${build}" version.cpp && exit 1 ||
    mv -vi version.cpp ${build}

git diff

git add ${build}

git commit -S -m "Set version to ${version}"

git log --oneline --first-parent ${base}^..

cat <<PUSH

-------------------------------------------------------------------
This script will not push. Verify everything is correct, then push
to your repo, and create a PR as described in CONTRIBUTING.md.
-------------------------------------------------------------------
PUSH