blob 39dc5d025310e8429ea62632c2ee75dc9a87ede6 899 bytes (raw)
name: gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch # note: path name is non-authoritative(*)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
| | diff --git a/pasp-mode.el b/pasp-mode.el
index 7f83645..5daf08e 100644
--- a/pasp-mode.el
+++ b/pasp-mode.el
@@ -199,9 +199,12 @@
Argument ENCODING The current buffer which holds the problem encoding.
Optional argument INSTANCE The problem instance which is solved by the encoding.
If no instance it is assumed to be also in the encoding file."
- (if 'instance
- (concat pasp-clingo-path " " pasp-clingo-options " " encoding " " instance)
- (concat pasp-clingo-path " " pasp-clingo-options " " encoding)))
+ (if instance
+ (concat pasp-clingo-path " " pasp-clingo-options " "
+ (shell-quote-argument encoding) " "
+ (shell-quote-argument instance))
+ (concat pasp-clingo-path " " pasp-clingo-options " "
+ (shell-quote-argument encoding))))
(defun pasp-run-clingo (encoding &optional instance)
"Run Clingo with some ASP input files.
|
debug log:
solving 39dc5d0253 ...
found 39dc5d0253 in https://git.savannah.gnu.org/cgit/guix.git
(*) Git path names are given by the tree(s) the blob belongs to.
Blobs themselves have no identifier aside from the hash of its contents.^
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).