--- a/src/eric7/VirtualEnv/VirtualenvManager.py Mon Jun 10 10:22:23 2024 +0200 +++ b/src/eric7/VirtualEnv/VirtualenvManager.py Mon Jun 10 11:41:34 2024 +0200 @@ -611,7 +611,9 @@ else: return "" - def getVirtualenvNames(self, noRemote=False, noConda=False, noGlobals=False): + def getVirtualenvNames( + self, noRemote=False, noConda=False, noGlobals=False, noServer=False + ): """ Public method to get a list of defined virtual environments. @@ -623,6 +625,9 @@ @param noGlobals flag indicating to exclude global environments (defaults to False) @type bool (optional) + @param noServer flag indicating to exclude eric-ide server environments + (defaults to False) + @type bool (optional) @return list of defined virtual environments @rtype list of str """ @@ -639,6 +644,10 @@ environments = [ name for name in environments if not self.isGlobalEnvironment(name) ] + if noServer: + environments = [ + name for name in environments if not self.isEricServerEnvironment(name) + ] return environments