diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-03-12 20:35:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-03-12 20:35:18 +0000 |
commit | 10a5213f635c40cdbf4316565818ca10ee6efd58 (patch) | |
tree | b0362e2ea193ee8946616a94c44f83c636b40b71 /bin | |
parent | a71e2d19be00c7635414d8222e2fa6c19b2cad3a (diff) |
Prefer emacs before xemacs now
Diffstat (limited to 'bin')
-rw-r--r-- | bin/proofgeneral | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/bin/proofgeneral b/bin/proofgeneral index 4f442867..017f4124 100644 --- a/bin/proofgeneral +++ b/bin/proofgeneral @@ -3,7 +3,7 @@ # Simple shell script for launching Proof General. # # Set EMACS to override choice of Emacs version -# (otherwise script chooses xemacs in preference to emacs) +# (otherwise script chooses emacs in preference to xemacs) # # PGHOME must be set to the directory where the lisp files of # Proof General are installed. Script checks standard locations @@ -24,10 +24,10 @@ PGHOMEDEFAULT=$HOME/ProofGeneral # Try to find a default Emacs executable if [ -z "$EMACS" ] || [ ! -x "$EMACS" ]; then - if which xemacs > /dev/null; then - EMACS=`which xemacs` - else + if which emacs > /dev/null; then EMACS=`which emacs` + else + EMACS=`which xemacs` fi fi |