Add GERRIT_KEY and GERRIT_SERVER options in scripts

This allows the user to specify the private key to use to connect
to the gerrit server, and to specify which gerrit server to use.

Change-Id: I391e9a81350dfc8820d181392574b2cd8f2c3f6a
This commit is contained in:
Matthieu Huin 2015-03-26 17:53:29 +01:00
parent fb538503b0
commit 1b9116f225
3 changed files with 24 additions and 0 deletions

View File

@ -17,6 +17,14 @@ if [ -n "${GERRIT_USER}" ] ; then
EXTRA_ARGS="-u ${GERRIT_USER}"
fi
if [ -n "${GERRIT_KEY}" ]; then
EXTRA_ARGS="${EXTRA_ARGS} -k ${GERRIT_KEY}"
fi
if [ -n "${GERRIT_SERVER}" ]; then
EXTRA_ARGS="${EXTRA_ARGS} --server ${GERRIT_SERVER}"
fi
metadata() {
date -u
echo -n "reviewstats HEAD: "

View File

@ -16,6 +16,14 @@ if [ -n "${GERRIT_USER}" ] ; then
EXTRA_ARGS="-u ${GERRIT_USER}"
fi
if [ -n "${GERRIT_KEY}" ] ; then
EXTRA_ARGS="${EXTRA_ARGS} -k ${GERRIT_KEY}"
fi
if [ -n "${GERRIT_SERVER}" ] ; then
EXTRA_ARGS="${EXTRA_ARGS} --server ${GERRIT_SERVER}"
fi
metadata() {
date -u
echo -n "reviewstats HEAD: "

View File

@ -6,6 +6,14 @@ if [ -n "${GERRIT_USER}" ] ; then
EXTRA_ARGS="-u ${GERRIT_USER}"
fi
if [ -n "${GERRIT_KEY}" ] ; then
EXTRA_ARGS="${EXTRA_ARGS} -k ${GERRIT_KEY}"
fi
if [ -n "${GERRIT_SERVER}" ] ; then
EXTRA_ARGS="${EXTRA_ARGS} --server ${GERRIT_SERVER}"
fi
metadata() {
date -u
echo -n "reviewstats HEAD: "