diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2014-09-18 16:47:55 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2014-09-18 16:47:55 -0300 |
| commit | b4e2708c6f8cc2191c581aef404803478e65e678 (patch) | |
| tree | 703d3f7f8f96d9564e7cc3f8ebf85a38c93ab3e1 /git-subtree-update | |
| parent | 4fdd3ebb2b0622fb6cff7376a02a5b92c1aba2ae (diff) | |
| download | scripts-b4e2708c6f8cc2191c581aef404803478e65e678.tar.gz scripts-b4e2708c6f8cc2191c581aef404803478e65e678.tar.bz2 | |
Moved scripts to custom repos
Diffstat (limited to 'git-subtree-update')
| -rwxr-xr-x | git-subtree-update | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/git-subtree-update b/git-subtree-update deleted file mode 100755 index af45ed6..0000000 --- a/git-subtree-update +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/bash -# -# Update a subtree. -# - -# Parameters -BASENAME="`basename $0`" -REMOTE="$1" -FOLDER="$2" - -# Syntax -if [ -z "$2" ]; then - echo "usage: $BASENAME <gitremote> <folder>" - exit 1 -fi - -# Check remote -if ! git remote | grep -qe "^$REMOTE"; then - echo "fatal: no such remote $REMOTE" - exit -fi - -# Fetch the remote -git fetch $REMOTE master - -# Process -if [ ! -d "$FOLDER" ]; then - # Add a subtree - git subtree add --prefix $FOLDER $REMOTE master --squash -else - # Update a subtree - git subtree pull --prefix $FOLDER $REMOTE master --squash -fi |