80 lines
2.3 KiB
Bash
Executable File
80 lines
2.3 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
#=============================================================================
|
|
# Copyright 2010-2012 Kitware, Inc.
|
|
#
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
# you may not use this file except in compliance with the License.
|
|
# You may obtain a copy of the License at
|
|
#
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
#=============================================================================
|
|
|
|
# Run this script to set up the topic stage for pushing changes.
|
|
|
|
# Project configuration instructions:
|
|
#
|
|
# - Run a Topic Stage repository next to the main project repository.
|
|
#
|
|
# - Populate adjacent "config" file with:
|
|
# stage.url = Topic Stage repository URL
|
|
# stage.pushurl = Topic Stage push URL if not "$url"
|
|
|
|
egrep-q() {
|
|
egrep "$@" >/dev/null 2>/dev/null
|
|
}
|
|
|
|
die() {
|
|
echo 1>&2 "$@" ; exit 1
|
|
}
|
|
|
|
# Make sure we are inside the repository.
|
|
cd "${BASH_SOURCE%/*}" &&
|
|
|
|
# Load the project configuration.
|
|
fetchurl=$(git config -f config --get stage.url) &&
|
|
pushurl_=$(git config -f config --get stage.pushurl || echo '') &&
|
|
remote=$(git config -f config --get stage.remote || echo 'stage') ||
|
|
die 'This project is not configured to use a topic stage.'
|
|
|
|
# Get current stage push URL.
|
|
pushurl=$(git config --get remote."$remote".pushurl ||
|
|
git config --get remote."$remote".url || echo '') &&
|
|
|
|
# Tell user about current configuration.
|
|
if test -n "$pushurl"; then
|
|
echo 'Remote "'"$remote"'" is currently configured to push to
|
|
|
|
'"$pushurl"'
|
|
' &&
|
|
read -ep 'Reconfigure Topic Stage? [y/N]: ' ans &&
|
|
if [ "$ans" == "y" ] || [ "$ans" == "Y" ]; then
|
|
setup=1
|
|
else
|
|
setup=''
|
|
fi
|
|
else
|
|
setup=1
|
|
fi
|
|
|
|
# Perform setup if necessary.
|
|
if test -n "$setup"; then
|
|
echo 'Setting up the topic stage...' &&
|
|
if test -z "$pushurl"; then
|
|
git remote add "$remote" "$fetchurl"
|
|
else
|
|
git config remote."$remote".url "$fetchurl"
|
|
fi &&
|
|
pushurl="${pushurl_}" &&
|
|
git config remote."$remote".pushurl "$pushurl" &&
|
|
echo 'Remote "'"$remote"'" is now configured to push to
|
|
|
|
'"$pushurl"'
|
|
'
|
|
fi || die 'Could not configure the topic stage remote.'
|