diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 2 | ||||
| -rw-r--r-- | generic/proof-script.el | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index f89d58cf..a2c34b59 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -909,7 +909,7 @@ The proof-terminal-char is added on to the end." :type '(choice string (const nil)) :group 'proof-shell) -(defcustom proof-shell-cd nil +(defcustom proof-shell-cd-cmd nil "Command to the proof assistant to change the working directory. The format character %s is replaced with the directory, and the proof-terminal-char is added on to the end. diff --git a/generic/proof-script.el b/generic/proof-script.el index abc77671..4b84afc3 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1744,18 +1744,18 @@ Typically, a list of syntax of commands available." proof-info-command) (proof-define-assistant-command proof-cd "Change directory to the default directory for the current buffer." - proof-shell-cd - (format proof-shell-cd + proof-shell-cd-cmd + (format proof-shell-cd-cmd ;; Use expand-file-name to avoid problems with dumb ;; proof assistants and "~" (expand-file-name (default-directory)))) (defun proof-cd-sync () - "If proof-shell-cd is set, do proof-cd and wait for prover ready. + "If proof-shell-cd-cmd is set, do proof-cd and wait for prover ready. This is intended as a value for proof-activate-scripting-hook" - ;; The hook is set in proof-mode before proof-shell-cd may be set, + ;; The hook is set in proof-mode before proof-shell-cd-cmd may be set, ;; so we explicitly test it here. - (if proof-shell-cd + (if proof-shell-cd-cmd (progn (proof-cd) (proof-shell-wait)))) |