#!/bin/sh workspace="./WORKSPACE" if [[ ! -f ${workspace} ]] || [[ ! $(head -n 1 ${workspace}) == *"gerrit"* ]]; then echo Please change to cloned Gerrit repo from https://gerrit.googlesource.com/gerrit/ exit 1 fi mitm_dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )" ${mitm_dir}/dev-chrome.sh & ${mitm_dir}/mitm-docker.sh "serve-app-dev.py --app $(pwd)/polygerrit-ui/app/"