From 07e8172fc070a615661fcbcbbd16989b236778a1 Mon Sep 17 00:00:00 2001 From: Reinhold Kainhofer Date: Sat, 15 Nov 2008 23:27:42 +0100 Subject: [PATCH] MusicXML: Also detect compressed MusicXML files from file extension if given --- scripts/musicxml2ly.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/musicxml2ly.py b/scripts/musicxml2ly.py index db942c3348..91b28ae2c1 100644 --- a/scripts/musicxml2ly.py +++ b/scripts/musicxml2ly.py @@ -2567,6 +2567,9 @@ def main (): if not filename: filename = get_existing_filename_with_extension (basefilename, "mxl") options.compressed = True + if filename and filename.endswith ("mxl"): + options.compressed = True + if filename and (filename == "-" or os.path.exists (filename)): voices = convert (filename, options) else: -- 2.39.5