Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/getsettings
author wenzelm
Thu, 17 Apr 1997 10:30:57 +0200
changeset 2968 8ba30b031f31
parent 2736 476adc742599
child 3118 24dae6222579
permissions -rw-r--r--
eliminated PLATFORM;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2307
508d2a233dbc *** empty log message ***
wenzelm
parents: 2299
diff changeset 
     1
 
#
508d2a233dbc *** empty log message ***
wenzelm
parents: 2299
diff changeset 
     2
 
# $Id$
2299
ed9720047d53 getsettings: bash source script to augment current env.
wenzelm
parents:
diff changeset 
     3
 
#
2348
b51e104ecf40 *** empty log message ***
wenzelm
parents: 2307
diff changeset 
     4
 
# getsettings - bash source script to augment current env.
2299
ed9720047d53 getsettings: bash source script to augment current env.
wenzelm
parents:
diff changeset 
     5
 
#
ed9720047d53 getsettings: bash source script to augment current env.
wenzelm
parents:
diff changeset 
     6
 







2736






476adc742599
added ISABELLE_HOME normalization;



wenzelm


parents: 
2643

diff
changeset




     7


#normalize ISABELLE_HOME as passed by caller








2299






ed9720047d53
getsettings: bash source script to augment current env.



wenzelm


parents: 

diff
changeset




     8


export ISABELLE_HOME








2736






476adc742599
added ISABELLE_HOME normalization;



wenzelm


parents: 
2643

diff
changeset




     9


ISABELLE_HOME=$(cd $ISABELLE_HOME; echo $PWD)













476adc742599
added ISABELLE_HOME normalization;



wenzelm


parents: 
2643

diff
changeset




    10









2299






ed9720047d53
getsettings: bash source script to augment current env.



wenzelm


parents: 

diff
changeset




    11














ed9720047d53
getsettings: bash source script to augment current env.



wenzelm


parents: 

diff
changeset




    12


set -o allexport













ed9720047d53
getsettings: bash source script to augment current env.



wenzelm


parents: 

diff
changeset




    13









2643






a7f469c0ba59
tuned comments;



wenzelm


parents: 
2621

diff
changeset




    14


#users tend to put strange things in here ...








2621






e9e491033b54
globally unset ENV, BASH_ENV;



wenzelm


parents: 
2590

diff
changeset




    15


unset ENV













e9e491033b54
globally unset ENV, BASH_ENV;



wenzelm


parents: 
2590

diff
changeset




    16


unset BASH_ENV













e9e491033b54
globally unset ENV, BASH_ENV;



wenzelm


parents: 
2590

diff
changeset




    17









2643






a7f469c0ba59
tuned comments;



wenzelm


parents: 
2621

diff
changeset




    18


#get actual settings








2428






853732a26bdd
improved error handling;



wenzelm


parents: 
2348

diff
changeset




    19


. $ISABELLE_HOME/etc/settings || exit 2








2299






ed9720047d53
getsettings: bash source script to augment current env.



wenzelm


parents: 

diff
changeset




    20


[ -f $ISABELLE_HOME_USER/etc/settings ] && . $ISABELLE_HOME_USER/etc/settings













ed9720047d53
getsettings: bash source script to augment current env.



wenzelm


parents: 

diff
changeset




    21









2736






476adc742599
added ISABELLE_HOME normalization;



wenzelm


parents: 
2643

diff
changeset




    22


#derived values








2478






adbd622bb375
added ISABELLE, ISATOOL;



wenzelm


parents: 
2428

diff
changeset




    23


ISABELLE=$ISABELLE_HOME/bin/isabelle













adbd622bb375
added ISABELLE, ISATOOL;



wenzelm


parents: 
2428

diff
changeset




    24


ISATOOL=$ISABELLE_HOME/bin/isatool













adbd622bb375
added ISABELLE, ISATOOL;



wenzelm


parents: 
2428

diff
changeset




    25









2299






ed9720047d53
getsettings: bash source script to augment current env.



wenzelm


parents: 

diff
changeset




    26


set +o allexport















isabelle