mirror of
https://github.com/Kitware/CMake.git
synced 2026-05-02 20:29:49 -05:00
Brad King
b7daff9b8b
When the topic stage has already been configured present the current configuration and prompt for optional reconfiguration. While at it, make the topic stage remote name configurable by the project.
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.'
|