#! /bin/sh script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")" cd "$script_dir"/.. branch=$1 has_git() { which git && [ -d .git ] } if has_git && ! [ -z "$(git status -s)" ] ; then echo "This script cannot be applied within a dirty git directory," echo "you need 'stash' or 'commit' your changes before." exit 1 fi set -e case "$branch" in zeronet) sed -i s/TEZOS/TEZOS_ZERONET/ ./src/lib_shell/distributed_db_message.ml patch -p1 < scripts/alphanet_constants.patch patch -p1 < scripts/zeronet.patch if has_git; then git commit -a -m "Zeronet: change economic constants." --author "Tezos CI "; fi echo "Done" ;; alphanet) sed -i s/TEZOS/TEZOS_ALPHANET/ ./src/lib_shell/distributed_db_message.ml patch -p1 < scripts/alphanet_constants.patch if has_git; then git commit -a -m "Alphanet: change economic constants." --author "Tezos CI "; fi echo "Done" ;; *) echo "Noop" esac