From: Vincent van Ravesteijn <vfr@lyx.org>
Date: Thu, 3 May 2012 13:11:10 +0000 (+0200)
Subject: configure.py: Replace 'ltx' by 'log' case insensitively
X-Git-Tag: 2.0.4~104^2~5
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=53cea1498612cd29077ff8fb656d7fdef9c1af3e;p=features.git

configure.py: Replace 'ltx' by 'log' case insensitively

On windows the temporary filename consists of uppercase characters. This
causes that the extension does not get replaced, and the logfile is left
behind.

Checking the extension case insensitively will correctly remove the
logfile.

(cherry picked from commit a02bfeebc534925734821e8921bac07c67af6d39)
---

diff --git a/lib/configure.py b/lib/configure.py
index cfeab936a2..b7ba8440f2 100644
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -124,7 +124,7 @@ def checkTeXPaths():
                 inpname = tmpfname.replace('\\', '/')
         else:
             inpname = cmdOutput('cygpath -m ' + tmpfname)
-        logname = os.path.basename(inpname.replace('.ltx', '.log'))
+        logname = os.path.basename(re.sub("(?i).ltx", ".log", inpname))
         inpname = inpname.replace('~', '\\string~')
         os.write(fd, r'\relax')
         os.close(fd)
diff --git a/status.20x b/status.20x
index 8ba9de2539..93ffb8ffef 100644
--- a/status.20x
+++ b/status.20x
@@ -212,3 +212,6 @@ What's new
 
 - Included the qt gif plugin in the Windows installer. This
   enables the busy icon in the status bar.
+
+- Remove a temporary log file from the user directory after reconfigure.
+