Plugins/UiExtensionPlugins/PipInterface/Pip.py

changeset 6394
17ecf4a340e7
parent 6361
53f6bd7fb238
child 6619
1d34365c082c
--- a/Plugins/UiExtensionPlugins/PipInterface/Pip.py	Mon Jul 02 18:16:43 2018 +0200
+++ b/Plugins/UiExtensionPlugins/PipInterface/Pip.py	Mon Jul 02 18:18:23 2018 +0200
@@ -543,8 +543,14 @@
             venvDirectory = os.environ["VIRTUAL_ENV"]
         except KeyError:
             venvName = self.__plugin.getPreferences("CurrentEnvironment")
-            venvDirectory = self.__virtualenvManager.getVirtualenvDirectory(
-                venvName)
+            if not venvName:
+                self.__selectPipVirtualenv()
+                venvName = self.__plugin.getPreferences("CurrentEnvironment")
+            if self.__virtualenvManager.isGlobalEnvironment(venvName):
+                venvDirectory = self.__getUserConfig()
+            else:
+                venvDirectory = \
+                    self.__virtualenvManager.getVirtualenvDirectory(venvName)
         
         return os.path.join(venvDirectory, pip)
     

eric ide

mercurial