gradle/gradle-7.1.1-replace_gradle_plugin_repository.patch

16 lines
1.0 KiB
Diff

--- gradle-7.1.1/gradle/shared-with-buildSrc/mirrors.settings.gradle.kts.orig 1980-02-01 00:00:00.000000000 +0100
+++ gradle-7.1.1/gradle/shared-with-buildSrc/mirrors.settings.gradle.kts 2021-07-25 17:37:11.982286120 +0200
@@ -66,10 +66,10 @@
return if (result.endsWith("/")) result else "$result/"
}
-if (System.getProperty(PLUGIN_PORTAL_OVERRIDE_URL_PROPERTY) == null && !isEc2Agent() && !isMacAgent() && !ignoreMirrors()) {
+if (System.getProperty(PLUGIN_PORTAL_OVERRIDE_URL_PROPERTY) == null && isEc2Agent() && !isMacAgent() && !ignoreMirrors()) {
// https://github.com/gradle/gradle-private/issues/2725
// https://github.com/gradle/gradle-private/issues/2951
- System.setProperty(PLUGIN_PORTAL_OVERRIDE_URL_PROPERTY, "https://dev12.gradle.org/artifactory/gradle-plugins/")
+ System.setProperty(PLUGIN_PORTAL_OVERRIDE_URL_PROPERTY, "https://repo.grdev.net/artifactory/grade-plugin-portal-prod/")
gradle.buildFinished {
System.clearProperty(PLUGIN_PORTAL_OVERRIDE_URL_PROPERTY)
}