initial wrapfs fix repo script
authorezk <ezk>
Wed, 21 Mar 2018 23:19:32 +0000 (23:19 +0000)
committerezk <ezk>
Wed, 21 Mar 2018 23:19:32 +0000 (23:19 +0000)
ChangeLog [new file with mode: 0644]
wrapfs-fix-branch.sh [new file with mode: 0755]

diff --git a/ChangeLog b/ChangeLog
new file mode 100644 (file)
index 0000000..3562d5c
--- /dev/null
+++ b/ChangeLog
@@ -0,0 +1,4 @@
+2018-03-21  Erez Zadok  <ezk@fsl.cs.sunysb.edu>
+
+       * wrapfs-fix-branch.sh: commit initial script.
+
diff --git a/wrapfs-fix-branch.sh b/wrapfs-fix-branch.sh
new file mode 100755 (executable)
index 0000000..b8e688f
--- /dev/null
@@ -0,0 +1,77 @@
+#!/bin/bash
+
+set -u -e
+
+_=${LINUX_VERSION:=""}
+_=${LINUX_REPO:=""}
+_=${LINUX_BRANCH:=""}
+_=${WRAPFS_REPO:=""}
+_=${LOG_FILE:=""}
+_=${SCRIPT:=$(readlink -f $0)}
+_=${LOCATION:=$(dirname $SCRIPT)}
+
+
+if [ ! -d .git ]; then
+    echo "Please run this script in a git directory."
+    exit
+fi
+LINUX_PREFIX="git://git.kernel.org/pub/scm/linux/kernel/git"
+
+WRAPFS_PREFIX="git://git.fsl.cs.sunysb.edu"
+
+WRAPFS_DIR=${PWD##*/}
+
+WRAPFS_REPO="${WRAPFS_DIR}.git"
+
+LINUX_BRANCH="master"
+
+LOG_FILE="/tmp/log-${WRAPFS_DIR}"
+
+runcmd() {
+    echo "----------------------------------------------------------------------"
+    echo "CMD: $@"
+    $@
+    ret=$?
+    if [ $ret -ne 0 ] ; then
+        echo "ERROR in running cmd: $@"
+       exit $ret
+    fi
+}
+
+case "$WRAPFS_DIR" in
+    wrapfs-latest)
+       LINUX_REPO="torvalds/linux.git"
+        LINUX_BRANCH="master"
+        #echo $LINUX_PREFIX/$LINUX_REPO
+        #echo $WRAPFS_PREFIX/$WRAPFS_REPO
+       ;;
+    wrapfs-2.* | wrapfs-3.* | wrapfs-4.* ) 
+       LINUX_REPO="stable/linux-stable.git"
+        LINUX_BRANCH=$(echo $WRAPFS_DIR | sed s/wrapfs/linux/g)
+       ;;
+    * )
+        echo "Please run the script in a wrapfs git repository."
+        exit 1
+esac
+
+runcmd git config merge.renameLimit 999999
+# check if remote already exists
+if `git remote | egrep -q ^wrapfs` ; then
+    echo "git remote wrapfs already exists"
+    runcmd git remote -v
+else
+    runcmd git remote add wrapfs $WRAPFS_PREFIX/$WRAPFS_REPO
+fi
+if `git branch | egrep -q wrapfs` ; then
+    echo "git branch wrapfs already exists"
+    runcmd git branch
+else
+    runcmd git branch wrapfs
+fi
+runcmd git fetch --tags wrapfs
+runcmd git branch wrapfs -u wrapfs/master
+runcmd git remote set-url origin $LINUX_PREFIX/$LINUX_REPO
+runcmd git fetch --tags origin
+runcmd git reset --hard origin/$LINUX_BRANCH
+runcmd git merge wrapfs