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)

relative-find-lisp.diff​ (723 bytes) - added by Matt McCutchen 15 years ago.

Download all attachments as: .zip

Change History (3)

Changed 15 years ago by Matt McCutchen

Attachment: relative-find-lisp.diff​ added

comment:1 Changed 15 years ago by Matt McCutchen

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 David Aspinall

Resolution: → fixed
Status: new → closed

Many thanks for the patch, have added in CVS now.

Note: See TracTickets for help on using tickets.