bin/isatool
changeset 2344 c3e1eaea4418
parent 2307 508d2a233dbc
child 2395 c24a79fe3651
     1.1 --- a/bin/isatool	Mon Dec 09 16:38:07 1996 +0100
     1.2 +++ b/bin/isatool	Mon Dec 09 16:38:28 1996 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -#!/bin/bash
     1.5 +#!/bin/bash -norc
     1.6  #
     1.7  # $Id$
     1.8  #
     1.9 @@ -39,12 +39,11 @@
    1.10  
    1.11  function fail()
    1.12  {
    1.13 -  echo "$1"
    1.14 +  echo "$1" >&2
    1.15    exit 2
    1.16  }
    1.17  
    1.18  
    1.19 -
    1.20  ## main
    1.21  
    1.22  [ $# -lt 1 ] && usage