Properly quote command line arguments. Patch from JMarc. Fixes

bug #8648.

diff --git a/lib/configure.py b/lib/configure.py
index cad150282ece634ae92f56217c53258e02216e70..71f7521ec30fc7abf98fc2fb39d946851831547b 100644 (file)
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -330,13 +330,13 @@ def addEditorAlternatives(rcs):
         if len(rcs) == 1:
             m = r.match(rcs[0])
             if m:
-                alt = r'\editor_alternatives ' + m.group(1) + " %%"
+                alt = r'\editor_alternatives ' + m.group(1) + ' "%%"'
         elif len(rcs) > 1:
             m = r.match(rcs[idxx])
             if m:
                 if idxx > 0:
                     alt += '\n'
-                alt += r'\editor_alternatives ' + m.group(1) + " %%"
+                alt += r'\editor_alternatives ' + m.group(1) + ' "%%"'
     return alt
 
 

diff --git a/status.20x b/status.20x
index a5c8e923695324a765d258db5ca48a788aad924f..f3e58c5551c6028f78a144f694ce9ea8477c77d0 100644 (file)
--- a/status.20x
+++ b/status.20x
@@ -226,3 +226,6 @@ What's new
 
 - Avoid annoying warnings with newer gcc versions.
 
+- Properly quote arguments in configuration (bug 8648).
+
+