hide extensions in tmp

Author: nedbat

igor.py

@@ -65,7 +65,7 @@ def remove_extension(core, *args):
         tracer.*.pyd
         """.split()
 
-    if 1:  #  "--from-install" in args:
+    if "--from-install" in args:
         # Get the install location using a subprocess to avoid
         # locking the file we are about to delete
         root = os.path.dirname(
@@ -88,16 +88,20 @@ def remove_extension(core, *args):
             ".tox/*/[Ll]ib/site-packages/coverage",
         ]
 
+    os.makedirs("tmp", exist_ok=True)
     for root, pattern in itertools.product(roots, so_patterns):
         pattern = os.path.join(root, pattern)
         if VERBOSITY > 1:
             print(f"Searching for {pattern} from {os.getcwd()}")
         for filename in glob.glob(pattern):
             if os.path.exists(filename):
                 if VERBOSITY > 1:
-                    print(f"Removing {os.path.abspath(filename)}")
+                    print(f"Hiding {os.path.abspath(filename)} in tmp")
                 try:
-                    os.remove(filename)
+                    hidden = f"tmp/{os.path.basename(filename)}"
+                    if os.path.exists(hidden):
+                        os.remove(hidden)
+                    os.rename(filename, hidden)
                 except OSError as exc:
                     if VERBOSITY > 1:
                         print(f"Couldn't remove {os.path.abspath(filename)}: {exc}")