assorted utilities from the LITMUS project

8 files changed, 349 insertions, 0 deletions

diff --git a/bootkernel.grub b/bootkernel.grub
new file mode 100755
index 0000000..8256f62
--- /dev/null
+++ b/bootkernel.grub
@@ -0,0 +1,58 @@
+#!/bin/bash
+#
+# Copyright (c) 2007, Bjoern B. Brandenburg <bbb [at] cs.unc.edu>
+# All rights reserved.
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions are met:
+#     * Redistributions of source code must retain the above copyright
+#       notice, this list of conditions and the following disclaimer.
+#     * Redistributions in binary form must reproduce the above copyright
+#       notice, this list of conditions and the following disclaimer in the
+#       documentation and/or other materials provided with the distribution.
+#     * Neither the name of the copyright holder nor the
+#       names of its contributors may be used to endorse or promote products
+#       derived from this software without specific prior written permission.
+#
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
+# CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+# EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+# PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+# LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+# NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+#
+#
+
+MENU="/boot/grub/menu.lst"
+
+
+BACK="(c) 2007 Bjoern Brandenburg"
+TITLE="GRUB Boot Kernel Selector v0.1"
+
+TMPFILE=`mktemp`
+(egrep '^title' $MENU | sed 's/title *//' | awk '
+        BEGIN {c = 0} \
+        {print c " \"" $0  "\""; c++ } \
+        
+' | xargs dialog --title "$TITLE" --backtitle "$BACK"  \
+--cancel-label "Keep old default" --ok-label "Select new default" \
+--menu "Choose default kernel: " 23 60 16 ) 2> $TMPFILE
+OK=$?
+
+clear
+
+if [[ $OK == 0 ]]; then
+    CHOICE=`cat $TMPFILE`
+    sed -ibak "s/^default *[0123456789]\+$/default $CHOICE/" $MENU 
+    echo "New default set to ${CHOICE}."
+else
+    echo "Keeping old default kernel."
+fi
+
+rm $TMPFILE
+
diff --git a/files_added_since b/files_added_since
new file mode 100755
index 0000000..17e02fd
--- /dev/null
+++ b/files_added_since
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+git diff --no-color $* | grep -A1 -e '/dev/null' | grep -v -e '/dev/null' | grep -v -e -- | sed 's|+++ b/||g'
diff --git a/files_modified_since b/files_modified_since
new file mode 100755
index 0000000..50a742f
--- /dev/null
+++ b/files_modified_since
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+git diff --no-color $* | grep -A1 -e 'a/' | grep -e '+++ b/' | sed 's|+++ b/||g'
diff --git a/gsh b/gsh
new file mode 100755
index 0000000..222edee
--- /dev/null
+++ b/gsh
@@ -0,0 +1,100 @@
+#!/usr/bin/env python
+#
+# Copyright (c) 2008, Bjoern B. Brandenburg <bbb [at] cs.unc.edu>
+# All rights reserved.
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions are met:
+#     * Redistributions of source code must retain the above copyright
+#       notice, this list of conditions and the following disclaimer.
+#     * Redistributions in binary form must reproduce the above copyright
+#       notice, this list of conditions and the following disclaimer in the
+#       documentation and/or other materials provided with the distribution.
+#     * Neither the name of the copyright holder nor the
+#       names of its contributors may be used to endorse or promote products
+#       derived from this software without specific prior written permission.
+#
+# THIS SOFTWARE IS  PROVIDED BY THE COPYRIGHT HOLDERS  AND CONTRIBUTORS "AS IS"
+# AND ANY  EXPRESS OR  IMPLIED WARRANTIES, INCLUDING,  BUT NOT LIMITED  TO, THE
+# IMPLIED WARRANTIES  OF MERCHANTABILITY AND  FITNESS FOR A  PARTICULAR PURPOSE
+# ARE  DISCLAIMED. IN NO  EVENT SHALL  THE COPYRIGHT  OWNER OR  CONTRIBUTORS BE
+# LIABLE  FOR   ANY  DIRECT,  INDIRECT,  INCIDENTAL,   SPECIAL,  EXEMPLARY,  OR
+# CONSEQUENTIAL  DAMAGES  (INCLUDING,  BUT   NOT  LIMITED  TO,  PROCUREMENT  OF
+# SUBSTITUTE  GOODS OR SERVICES;  LOSS OF  USE, DATA,  OR PROFITS;  OR BUSINESS
+# INTERRUPTION)  HOWEVER CAUSED  AND ON  ANY  THEORY OF  LIABILITY, WHETHER  IN
+# CONTRACT,  STRICT  LIABILITY, OR  TORT  (INCLUDING  NEGLIGENCE OR  OTHERWISE)
+# ARISING IN ANY  WAY OUT OF THE USE  OF THIS SOFTWARE, EVEN IF  ADVISED OF THE
+# POSSIBILITY OF SUCH DAMAGE.
+
+import sys
+import os
+import readline
+
+HISTFILE   = '.gsh_history'
+
+EGREP      = 'grep'
+STD_ARGS   = ['-n', '--color', '-P']
+
+VERSION    = "V0.1"
+HELP       = """
+Enter a regular expression to display lines that match the entered expression. 
+Enter ^D or ^C at the prompt to terminate gsh. If a search produces too many 
+results, then you can enter ^C to abort the search and return to the search
+prompt.
+
+For example, enter 'foo' to display lines containing the string 'foo'.
+"""
+COLS = 80
+
+class HistFile(object):
+        def __init__(self, file):
+                self.histfile = os.path.join(os.environ["HOME"], file)
+                try:
+                        readline.read_history_file(self.histfile)
+                except IOError:
+                        pass
+                
+        def store(self):
+                try:
+                        readline.write_history_file(self.histfile)
+                except IOError:
+                        pass
+
+def ulc(str):
+        ul(str, (COLS - len(str)) / 2)
+
+def ul(str, offset = 0):
+        print "%s%s" % (' ' * offset, str)
+        print "%s%s" % (' ' * offset, '=' * len(str))
+
+def grep(pattern, files):
+        args = [EGREP]
+        args.append(pattern)
+        args.extend(STD_ARGS)
+        args.extend(files)
+        args.append('/dev/null')
+        return os.spawnvp(os.P_WAIT, EGREP, args)
+
+def main(args):
+        files = list(args)
+        del files[0]
+        if files == []:
+                files = ["-R", "."]
+        history = HistFile(HISTFILE)
+        try:
+                ulc("Simple Grep Shell %s" % VERSION)
+                print HELP
+                while True:
+                        pattern = raw_input('>> ')
+                        if pattern != '':
+                                try:
+                                        grep(pattern, files)
+                                except KeyboardInterrupt:
+                                        pass
+        except (EOFError, KeyboardInterrupt):
+                print 'Bye.'
+        history.store()
+        
+if __name__ == '__main__':
+        main(sys.argv)
+
diff --git a/install_kernel.jupiter-cs b/install_kernel.jupiter-cs
new file mode 100755
index 0000000..720fb9c
--- /dev/null
+++ b/install_kernel.jupiter-cs
@@ -0,0 +1,92 @@
+#!/bin/bash
+
+function die()
+{
+        echo " (EE) $1"
+        exit 1
+}
+
+function info()
+{
+        echo " (II) $1"
+}
+
+function silent()
+{
+        OUTPUT=`$*`
+        if [ "$?" != "0" ]; then
+                echo $OUTPUT
+                die "$* failed!"
+        fi
+}
+
+# Function to grab var from src
+function getvar() {
+  old=$(head -5 Makefile | grep "^$1")
+  echo $(echo ${old/"$1 ="/} | sed -e "s/[ ]*\(.*\)[ ]*/\1/g")
+  return 0
+}
+
+if [ ! -f "./.config" ]; then
+        CURDIR=`pwd`
+        die "No kernel .config exists in $CURDIR!"
+fi
+
+if [ ! -f "./Makefile" ]; then
+        die "No Makefile present!"
+fi
+
+VERSION=`getvar VERSION`
+PATCHLEVEL=`getvar PATCHLEVEL`
+SUBLEVEL=`getvar SUBLEVEL`
+EXTRAVERSION=`getvar EXTRAVERSION`
+
+. ./.config
+
+NAME="$VERSION.$PATCHLEVEL.$SUBLEVEL$EXTRAVERSION$CONFIG_LOCALVERSION"
+
+info "Detected kernel version $NAME"
+
+if [ $UID != "0" ]; then
+        die "Must be root to install kernel!"
+fi
+
+# (1) copy modules
+if [ "$1" != "-m" ]; then
+        info "Installing modules..."
+        silent make -j8 modules_install
+else
+        info "Skipping installing modules."
+fi
+
+# (2) copy kernel
+info "Installing kernel..."
+silent cp -v arch/i386/boot/bzImage /boot/vmlinuz-$NAME
+silent cp -v System.map             /boot/System.map-$NAME
+
+# (3) build ramdisk
+info "Building module dependencies"
+silent depmod -v $NAME
+
+info "Building initial ramdisk..."
+silent mkinitcpio -g /boot/kernel-$NAME.img -k $NAME
+
+# (4) make bootloader entry
+ALREADY_PRESENT=`grep "kernel /boot/vmlinuz-$NAME" /boot/grub/menu.lst `
+
+if [ ! -z "$ALREADY_PRESENT" ]; then
+        info "Bootloader entry appears to be already present."
+else
+        info "Creating bootloader entry..."
+        cat >> /boot/grub/menu.lst <<__EOE__
+
+# Custom kernel
+title  Kernel $NAME
+root   (hd0,5)
+kernel /boot/vmlinuz-$NAME root=/dev/sda6 ro vga=791
+initrd /boot/kernel-$NAME.img
+__EOE__
+
+fi
+
+info "Kernel $NAME has been installed."
diff --git a/make_release b/make_release
new file mode 100755
index 0000000..b5da268
--- /dev/null
+++ b/make_release
@@ -0,0 +1,74 @@
+#!/bin/bash
+
+RELEASE_DIR=/home/bbb/releases
+
+LIBLITMUS_DIR=/home/bbb/liblitmus
+LIBSO_DIR=/home/bbb/libso
+LITMUS_DIR=/home/bbb/litmus
+
+BASE_TAG="v2.6.20"
+
+TAG=$1
+
+function die {
+    echo $1
+    echo
+    echo "Usage:    make_release <TAG>"
+    echo "Example:  make_release 2007.3"
+    exit 1
+}
+
+if [ -z "$TAG"  ]; then
+    die "TAG missing."
+fi
+
+function archive {
+    PREFIX=$1
+    TGZ=$2
+
+    TMP=`mktemp`
+    git archive --format=tar --prefix=$PREFIX/ $TAG > $TMP || \
+        die "Could not create archive from tree."
+    gzip -c $TMP > $TGZ || die "Could not compress."
+    rm $TMP
+}
+
+function release_liblitmus {
+    echo "Releasing liblitmus."
+    cd $LIBLITMUS_DIR || die "Could not cd to $LIBLITMUS_DIR."
+    archive liblitmus $TARGET/liblitmus-$TAG.tgz || die "Could not build archive."
+    return 0
+}
+
+function release_libso {
+    echo "Releasing libso."
+    cd $LIBSO_DIR || die "Could not cd to $LIBSO_DIR."
+    archive libso $TARGET/libso-$TAG.tgz || "Could not build archive."
+    return 0
+}
+
+
+function release_litmus {
+    echo "Releasing LITMUS^RT."
+    cd $LITMUS_DIR || die "Could not cd to $LITMUS_DIR."
+    git-diff -p --stat $BASE_TAG $TAG > $TARGET/litmus-rt-$TAG.patch || \
+        die "Could not create patch."
+    return 0
+}
+
+
+
+TARGET="$RELEASE_DIR/$TAG"
+
+mkdir -p $TARGET    || die "Could not make directory $TARGET."
+
+
+release_litmus      || die "Releasing LITMUS^RT failed."
+release_liblitmus   || die "Releasing liblitmus failed."
+release_libso       || die "Releasing libso failed."
+
+cd $TARGET
+echo "Generating check sums." 
+sha256sum * > SHA256SUMS
+
+echo "Release generated in $TARGET."
diff --git a/zapmod b/zapmod
new file mode 100755
index 0000000..6a55bec
--- /dev/null
+++ b/zapmod
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+#CMD=/home/bbb/bin/zaptrail
+CMD=zaptrail
+
+set -e
+for f in `git diff --name-only`; do
+    echo "Zapping trailing white space in $f."
+    $CMD $f
+done
diff --git a/zaptrail b/zaptrail
new file mode 100755
index 0000000..dfe91bc
--- /dev/null
+++ b/zaptrail
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+if [ "" == "$*" ]; then
+        echo "zaptrail: remove trailing white space"
+        echo "Usage: zaptrail <file1> <file2> ...."
+        exit 1
+fi
+
+sed -i -r -e 's/\s+$//' $*