# HG changeset patch
# User wenzelm
# Date 850145908 -3600
# Node ID c3e1eaea4418ec1dbcc9c51e629fba61fec6b08e
# Parent  2588b63b42ca1c32ee21cc2e0469071c0573690c
added -norc option;
error output to stderr;

diff -r 2588b63b42ca -r c3e1eaea4418 bin/isatool
--- a/bin/isatool	Mon Dec 09 16:38:07 1996 +0100
+++ b/bin/isatool	Mon Dec 09 16:38:28 1996 +0100
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -norc
 #
 # $Id$
 #
@@ -39,12 +39,11 @@
 
 function fail()
 {
-  echo "$1"
+  echo "$1" >&2
   exit 2
 }
 
 
-
 ## main
 
 [ $# -lt 1 ] && usage
diff -r 2588b63b42ca -r c3e1eaea4418 lib/scripts/isa-emacs
--- a/lib/scripts/isa-emacs	Mon Dec 09 16:38:07 1996 +0100
+++ b/lib/scripts/isa-emacs	Mon Dec 09 16:38:28 1996 +0100
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -norc
 #
 # $Id$
 #
@@ -11,7 +11,7 @@
 
 function fail()
 {
-  echo "$1"
+  echo "$1" >&2
   exit 2
 }
 
diff -r 2588b63b42ca -r c3e1eaea4418 lib/scripts/isa-xterm
--- a/lib/scripts/isa-xterm	Mon Dec 09 16:38:07 1996 +0100
+++ b/lib/scripts/isa-xterm	Mon Dec 09 16:38:28 1996 +0100
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -norc
 #
 # $Id$
 #
@@ -9,7 +9,7 @@
 
 function fail()
 {
-  echo "$1"
+  echo "$1" >&2
   exit 2
 }