# HG changeset patch # User wenzelm # Date 850118632 -3600 # Node ID 00db792beb4e1ea4afcf169267d2b3cd2b5ff9fd # Parent f1159f38ba4f8cd2be2706af80aa6716450f25f1 added -norc option; error output to stderr; diff -r f1159f38ba4f -r 00db792beb4e lib/Tools/changeparent --- a/lib/Tools/changeparent Mon Dec 09 09:03:03 1996 +0100 +++ b/lib/Tools/changeparent Mon Dec 09 09:03:52 1996 +0100 @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/bash -norc # # $Id$ # @@ -19,7 +19,7 @@ function fail() { - echo "$1" + echo "$1" >&2 exit 2 }