--- a/bin/isabelle Tue Apr 22 11:25:45 1997 +0200
+++ b/bin/isabelle Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/bin/isatool Tue Apr 22 11:25:45 1997 +0200
+++ b/bin/isatool Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/build Tue Apr 22 11:25:45 1997 +0200
+++ b/build Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/configure Tue Apr 22 11:25:45 1997 +0200
+++ b/configure Tue Apr 22 11:37:12 1997 +0200
@@ -6,7 +6,7 @@
## patch scripts
-if bash -norc -c ""
+if bash -c ""
then
bash lib/scripts/patch-scripts.bash
else
--- a/lib/Tools/changeparent Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/Tools/changeparent Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/Tools/doc Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/Tools/doc Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/Tools/expandshort Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/Tools/expandshort Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/Tools/findlogics Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/Tools/findlogics Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/Tools/getenv Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/Tools/getenv Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/Tools/installfonts Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/Tools/installfonts Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/Tools/make Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/Tools/make Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/Tools/makeall Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/Tools/makeall Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/Tools/symbolinput Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/Tools/symbolinput Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/Tools/usedir Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/Tools/usedir Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/scripts/isa-emacs Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/scripts/isa-emacs Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/scripts/isa-xterm Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/scripts/isa-xterm Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/scripts/run-polyml Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/scripts/run-polyml Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/scripts/run-smlnj Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/scripts/run-smlnj Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/scripts/run-smlnj-0.93 Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/scripts/run-smlnj-0.93 Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#
--- a/lib/scripts/ucat Tue Apr 22 11:25:45 1997 +0200
+++ b/lib/scripts/ucat Tue Apr 22 11:37:12 1997 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -norc
+#!/bin/bash
#
# $Id$
#