]> git.donarmstrong.com Git - lilypond.git/commitdiff
Issue 3623: lilypond-book fails with file names containing shell-special characters
authorDavid Kastrup <dak@gnu.org>
Sat, 19 Oct 2013 07:31:18 +0000 (09:31 +0200)
committerDavid Kastrup <dak@gnu.org>
Fri, 25 Oct 2013 06:05:29 +0000 (08:05 +0200)
scripts/lilypond-book.py

index 9c49508d7a85bfba912400108a31d345be678b97..8dea1fc1a795623d446582a690a4c625f9918f18 100644 (file)
@@ -443,7 +443,10 @@ def split_output_files(directory):
     Return value is a set of strings.
     """
     files = []
-    for subdir in glob.glob (os.path.join (directory, '[a-f0-9][a-f0-9]')):
+    def globquote(x):
+        return re.sub ("[][*?]", r"[\g<0>]", x)
+    for subdir in glob.glob (os.path.join (globquote (directory),
+                                           '[a-f0-9][a-f0-9]')):
         base_subdir = os.path.split (subdir)[1]
         sub_files = [os.path.join (base_subdir, name)
                      for name in os.listdir (subdir)]