| #!/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.' |