--- 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