Improved copy operation for user directory contents of previous major releases

- avoid copying of configure.log
- avoid copying of chkconfig.ltx
  There is a report of a hang on first start of LyX with new major release.
  The removal of the chkconfig.ltx (leftover from early LyX versions) fixed the issue.

diff --git a/lib/configure.py b/lib/configure.py
index 80cc78723000125aad4190be185aa32bbaa9f83f..df0251268aef3bc37ba6a69a2fb43884d7f04fa9 100644 (file)
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -157,8 +157,8 @@ def copy_tree(src, dst, preserve_symlinks=False, level=0):
             link_dest = os.readlink(src_name)
             os.symlink(link_dest, dst_name)
             outputs.append(dst_name)
-        elif level == 0 and name == 'cache':
-            logger.info("Skip cache %s", src_name)
+        elif level == 0 and name in [ 'cache', 'configure.log', 'chkconfig.ltx' ]:
+            logger.info("Skip copy of %s", src_name)
         elif os.path.isdir(src_name):
             outputs.extend(
                 copy_tree(src_name, dst_name, preserve_symlinks, level=(level + 1)))