Opened 15 years ago
Closed 15 years ago
#297 closed defect (fixed)
Finding of lisp relative to the "proofgeneral" script is broken
Reported by: | Matt McCutchen | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.0 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
I'm glad to see that support for finding the lisp files relative to the "proofgeneral" script has been added in the CVS Proof General; I had hacked such a feature into my own copy of Proof General 3.7.1. But the feature is broken in two ways:
- It sets PGHOME to the "generic" subdirectory instead of the main "ProofGeneral" directory.
- It is actually looking relative to the working directory. It should look relative to the script ($0) so that the user can start it with the working directory set to any desired directory containing files the user wants to edit.
The attached patch fixes it.
Attachments (1)
Change History (3)
Changed 15 years ago by
Attachment: | relative-find-lisp.diff added |
---|
comment:1 Changed 15 years ago by
Summary: | Finding of lisp relative to the script is broken → Finding of lisp relative to the "proofgeneral" script is broken |
---|
comment:2 Changed 15 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Many thanks for the patch, have added in CVS now.