rename isolinux.cfg to syslinux.cfg in a case-insensitive way\n\n Fixes issue #414, possibly others. isolinux.cfg was not being renamed when it was not all-lowercase.

Author: alandmoore

scripts/update_cfg_file.py

@@ -341,7 +341,7 @@ def copy_to_syslinux_cfg_callback(dir_, fname):
         if not fname.lower().endswith('isolinux.cfg'):
             return
         isolinux_cfg_path = os.path.join(dir_, fname)
-        syslinux_cfg_fname = fname.replace('isolinux.cfg','syslinux.cfg')
+        syslinux_cfg_fname = fname.lower().replace('isolinux.cfg','syslinux.cfg')
         syslinux_cfg_path = os.path.join(dir_, syslinux_cfg_fname)
         if os.path.exists(syslinux_cfg_path):
             return # don't overwrite.