in src/main/groovy/com/jetbrains/python/envs/PythonEnvsPlugin.groovy [85:107]
private static File getPipFile(Project project, String versionStr) {
def version = VersionNumber.parse(versionStr)
String name
String remoteUrl
if (version < VersionNumber.parse(PIP_MINIMAL_SUPPORTED_VERSION)) {
// use version-specific script
def shortVersion = "${version.major}.${version.minor}"
name = "get-pip-${shortVersion}.py"
remoteUrl = "https://bootstrap.pypa.io/pip/3.8/get-pip.py"
} else {
name = "get-pip.py"
remoteUrl = "https://bootstrap.pypa.io/get-pip.py"
}
new File(project.buildDir, name).with { file ->
if (!file.exists()) {
project.ant.get(dest: file) {
url(url: remoteUrl)
}
}
return file
}
}