~ruther/guix-local

ref: 033e074eefc2b2b04aa96bdcec2e08f21cb7dff7 guix-local/gnu/packages/patches/emacs-pasp-mode-quote-file-names.patch -rw-r--r-- 899 bytes
033e074e — Andreas Fuglesteg Dale gnu: picom: Update to 12.5. 1 year, 3 months ago 
                                                                                
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.