Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed -norc;
authorwenzelm
Tue, 22 Apr 1997 11:37:12 +0200
changeset 3007 e5efa177ee0c
parent 3006 8a1eb4531fbb
child 3008 0a887d5b6718
removed -norc;
bin/isabelle file | annotate | diff | comparison | revisions
bin/isatool file | annotate | diff | comparison | revisions
build file | annotate | diff | comparison | revisions
configure file | annotate | diff | comparison | revisions
lib/Tools/changeparent file | annotate | diff | comparison | revisions
lib/Tools/doc file | annotate | diff | comparison | revisions
lib/Tools/expandshort file | annotate | diff | comparison | revisions
lib/Tools/findlogics file | annotate | diff | comparison | revisions
lib/Tools/getenv file | annotate | diff | comparison | revisions
lib/Tools/installfonts file | annotate | diff | comparison | revisions
lib/Tools/make file | annotate | diff | comparison | revisions
lib/Tools/makeall file | annotate | diff | comparison | revisions
lib/Tools/symbolinput file | annotate | diff | comparison | revisions
lib/Tools/usedir file | annotate | diff | comparison | revisions
lib/scripts/isa-emacs file | annotate | diff | comparison | revisions
lib/scripts/isa-xterm file | annotate | diff | comparison | revisions
lib/scripts/run-polyml file | annotate | diff | comparison | revisions
lib/scripts/run-smlnj file | annotate | diff | comparison | revisions
lib/scripts/run-smlnj-0.93 file | annotate | diff | comparison | revisions
lib/scripts/ucat file | annotate | diff | comparison | revisions 
--- 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$
 #
isabelle