From 871bc172d08cdb8c20efe1d64f2801c13e18cd8d Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Thu, 23 Apr 2015 17:46:20 +0200 Subject: [PATCH] Added lib_sync, utility script --- lib_sync | 48 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100755 lib_sync diff --git a/lib_sync b/lib_sync new file mode 100755 index 000000000..63419b00d --- /dev/null +++ b/lib_sync @@ -0,0 +1,48 @@ +#!/bin/bash -ex + +git checkout master + +LIB=$1 + +git branch lib_$LIB +git checkout lib_$LIB + +git filter-branch -f --prune-empty --subdirectory-filter libraries/$LIB lib_$LIB + +cd ../libraries +mkdir $LIB +cd $LIB + +git init + +git pull ../../Arduino lib_$LIB + +git config user.email f.fissore@arduino.cc + +git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "f.vanzati@gmail.com" ]; + then export GIT_AUTHOR_EMAIL=f.vanzati@arduino.cc; + fi; git commit-tree "$@"' +git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "federico@fissore.org" ]; + then export GIT_AUTHOR_EMAIL=f.fissore@arduino.cc; + fi; git commit-tree "$@"' +git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "c.maglie@bug.st" ]; + then export GIT_AUTHOR_EMAIL=c.maglie@arduino.cc; + fi; git commit-tree "$@"' +git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "tigoe@tigoemac.itp.tsoa.nyu.edu" ]; + then export GIT_AUTHOR_EMAIL=t.igoe@arduino.cc; + fi; git commit-tree "$@"' +git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "tom.igoe@gmail.com" ]; + then export GIT_AUTHOR_EMAIL=t.igoe@arduino.cc; + fi; git commit-tree "$@"' +git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "facchinm@users.noreply.github.com" ]; + then export GIT_AUTHOR_EMAIL=m.facchin@arduino.cc; + fi; git commit-tree "$@"' + +git remote add origin git@github.com:arduino-libraries/$LIB.git +git fetch --all + +cd ../../Arduino + +git checkout master +git branch -D lib_$LIB +