private static File getPipFile()

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
        }
    }