From b74806eeff8429c5e31684818a54553f92a49a4f Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Thu, 21 Nov 2024 18:51:09 +0100 Subject: [PATCH] coq/generic: display empty strings in diagnostic messages ... for the argument lists of background processes started by PG --- coq/coq-par-compile.el | 3 ++- generic/proof-shell.el | 4 +++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index 88ef2d831..b67612a38 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -969,7 +969,8 @@ file to be deleted when the process does not finish successfully." (when coq--debug-auto-compilation (message "%s %s: start %s %s in %s" (get job 'name) process-name - command (mapconcat #'identity arguments " ") + command + (mapconcat (lambda (a) (concat "\"" a "\"")) arguments " ") default-directory)) (condition-case err ;; If the command is wrong, start-process aborts with an diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 14e1ede31..159711b91 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -400,7 +400,9 @@ process command." (append (split-string proof-rsh-command) prog-name-list1) prog-name-list1)) - (prog-command-line (mapconcat 'identity prog-name-list " ")) + (prog-command-line + (mapconcat (lambda (arg) (concat "\"" arg "\"")) + prog-name-list " ")) (process-connection-type proof-shell-process-connection-type)