From f9d55f3a7930cd087554c33f355c79ff20c5d286 Mon Sep 17 00:00:00 2001
From: "Bjoern B. Brandenburg" <bbb@cs.unc.edu>
Date: Mon, 4 Feb 2008 16:43:55 -0500
Subject: add setsched tool

---
 setsched | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100755 setsched

diff --git a/setsched b/setsched
new file mode 100755
index 0000000..411d999
--- /dev/null
+++ b/setsched
@@ -0,0 +1,41 @@
+#!/bin/bash
+#
+# setsched: facilitate changing the active scheduler plugin.
+
+ADIR=/proc/litmus/active_plugin
+PDIR=/proc/litmus/plugins
+
+CHOICE=$1
+
+if [ ! -e $ADIR ]; then
+    KERN=`uname -s -r`
+    echo "Error: LITMUS^RT not found on $KERN!" 
+    exit 1
+fi
+
+ACTIVE=`cat $ADIR`
+
+if [ -z "$1" ]; then
+    TMP=`mktemp`
+    (awk "{print \$1 \" 'Plugin'\"}" $PDIR | \
+    xargs  dialog --title "Select Plugin" --backtitle "Current: $ACTIVE"  \
+	--cancel-label "Cancel" --ok-label "Select Plugin" \
+	--menu "Select a new plugin to run: " 23 60 16) 2> $TMP
+    OK=$?
+    clear
+    if [ "$OK" != "0" ]; then	
+	exit 0;
+    fi
+    CHOICE=`cat $TMP`
+    rm $TMP   
+fi
+
+
+echo "$CHOICE" > $ADIR
+
+ACTIVE=`cat $ADIR`
+
+if [ "$ACTIVE" != "$CHOICE" ]; then
+    echo "Error: Setting new plugin failed."
+    exit 1
+fi
-- 
cgit v1.2.2