diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 11:59:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 11:59:45 +0000 |
| commit | 9642c8018a33a1e45810daecf23c62a462a53b7a (patch) | |
| tree | db39b04b998ca0609a7d73a9e07b68d3389eec98 /bin | |
| parent | 255646ed49b12b106c2a65995855e8921688ecd8 (diff) | |
Observe EMACS environment variable
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/proofgeneral | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/bin/proofgeneral b/bin/proofgeneral index 8276f9bf..0e232cff 100644 --- a/bin/proofgeneral +++ b/bin/proofgeneral @@ -13,10 +13,12 @@ PGHOME=/usr/share/emacs/ProofGeneral #PGHOME=~/ProofGeneral -if which xemacs > /dev/null; then - EMACS=xemacs -else - EMACS=emacs +if [ -z "EMACS" ]; then + if which xemacs > /dev/null; then + EMACS=xemacs + else + EMACS=emacs + fi fi $EMACS -q -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@" |