mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
22 lines
1.1 KiB
Properties
22 lines
1.1 KiB
Properties
# Supported environments: stable, latest (via https://github.com/stevesaliman/gradle-properties-plugin)
|
|
environmentName=latest
|
|
# IntelliJ Platform Artifacts Repositories
|
|
# -> https://plugins.jetbrains.com/docs/intellij/intellij-artifacts.html
|
|
pluginGroup=io.gitpod.jetbrains
|
|
pluginName=gitpod-gateway
|
|
# It is overriden by CI during the build.
|
|
pluginVersion=0.0.1
|
|
# IntelliJ Platform Properties -> https://plugins.jetbrains.com/docs/intellij/tools-gradle-intellij-plugin.html#intellij-extension-type
|
|
platformType=GW
|
|
platformDownloadSources=true
|
|
# Plugin Dependencies -> https://plugins.jetbrains.com/docs/intellij/plugin-dependencies.html
|
|
# Example: platformPlugins = com.intellij.java, com.jetbrains.php:203.4449.22
|
|
platformPlugins=
|
|
# Opt-out flag for bundling Kotlin standard library.
|
|
# See https://plugins.jetbrains.com/docs/intellij/kotlin.html#kotlin-standard-library for details.
|
|
kotlin.stdlib.default.dependency=false
|
|
gitpodProtocolProjectPath=../../../gitpod-protocol/java
|
|
# See https://stackoverflow.com/a/47607857/961588
|
|
systemProp.org.gradle.internal.http.socketTimeout=100000
|
|
systemProp.org.gradle.internal.http.connectionTimeout=100000
|