VirtualEnv/VirtualenvExecDialog.py

changeset 6495
6e73d31af3af
parent 6337
c6af560e0039
child 6645
ad476851d7e0
diff -r 72e3d61e5a20 -r 6e73d31af3af VirtualEnv/VirtualenvExecDialog.py
--- a/VirtualEnv/VirtualenvExecDialog.py	Sun Sep 09 19:30:54 2018 +0200
+++ b/VirtualEnv/VirtualenvExecDialog.py	Mon Sep 10 18:15:10 2018 +0200
@@ -302,7 +302,7 @@
         else:
             basename = "create_virtualenv"
         if isWindowsPlatform():
-            script = os.path.join(self.__targetDir, basename + ".bat")
+            script = os.path.join(self.__targetDir, basename + ".cmd")
             txt = self.__cmd
         else:
             script = os.path.join(self.__targetDir, basename + ".sh")

eric ide

mercurial