Windows: Tweak temporary filename

2026-08-26 08:02:23 +02:00 · 2020-10-29 09:43:16 +00:00
parent 13ad8efb52
commit eaa0d2cd9d
1 changed files with 1 additions and 1 deletions
@@ -497,7 +497,7 @@ class CommandLine:

        class CLIDirectFileHandler(CLIFileHandler):
            def __init__(self, filename: str):
-                fd, self._name = tempfile.mkstemp('vol3', dir = output_dir)
+                fd, self._name = tempfile.mkstemp(suffix = '.vol3', prefix = 'tmp_', dir = output_dir)
                self._file = io.open(fd, mode = 'w+b')
                CLIFileHandler.__init__(self, filename)
                for item in dir(self._file):