1 files changed, 7 insertions, 2 deletions

diff --git a/setsched b/setsched
index fbd6997..750ccbf 100755
--- a/setsched
+++ b/setsched
@@ -12,6 +12,7 @@ if [ ! -e $ADIR ]; then
     KERN=`uname -s -r`
     echo "Error: LITMUS^RT interface not found on $KERN!"
     echo "Are you sure you booted the correct kernel?"
+    echo "Is the /proc filesystem mounted correctly?"
     exit 1
 fi
 
@@ -22,6 +23,9 @@ if [ -z "$1" ]; then
     if [ -z "$DIALOG" ]; then
         echo "Error: The dialog utility cannot be found."
         echo "       Please install the required package (dialog on Ubuntu)."
+        echo "       Note that you can also use setsched by passing the"
+        echo "       desired scheduling plugins as a commandline argument,"
+        echo "       i.e., 'setsched GSN-EDF' activates GSN-EDF."
         exit 2
     fi
     TMP=`mktemp`
@@ -31,11 +35,11 @@ if [ -z "$1" ]; then
         --menu "Select a new plugin to run: " 15 60 6) 2> $TMP
     OK=$?
     clear
-    if [ "$OK" != "0" ]; then   
+    if [ "$OK" != "0" ]; then
         exit 0;
     fi
     CHOICE=`cat $TMP`
-    rm $TMP   
+    rm $TMP
 fi
 
 
@@ -46,5 +50,6 @@ ACTIVE=`cat $ADIR`
 
 if [ "$ACTIVE" != "$CHOICE" ]; then
     echo "Error: Setting new plugin failed."
+    echo "Are there any active real-time tasks?"
     exit 1
 fi