summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2011-03-02 11:10:02 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2011-03-02 11:10:02 +0200
commit74936dfd85b4a22dc1ce38f72cab14bf52da6ff8 (patch)
tree635f0810fc3932c809eeb55caa78379ac1c3b4d6
parentc8ad098f8a533d7928d6c9ad772d6b3a373561c7 (diff)
Add pull script (uses rebase instead of merge by default)
-rwxr-xr-xgit/pull.sh15
1 files changed, 15 insertions, 0 deletions
diff --git a/git/pull.sh b/git/pull.sh
new file mode 100755
index 0000000..51fe2a1
--- /dev/null
+++ b/git/pull.sh
@@ -0,0 +1,15 @@
+#! /bin/sh
+
+# Assume this script never run via PATH.
+#
+self=`realpath $0`
+. `dirname $self`/modules
+
+wd=`pwd`
+
+for i in $all_modules; do
+ echo "pull $i" 1>&2
+ cd $i
+ git pull --rebase $*
+ cd $wd
+done