edutools plugin from Beta channel

JetBrains · Dec 3, 2018 · 2fe37fe · 2fe37fe
1 parent 6d6775e
commit 2fe37fe
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/edu/dependencies/build.gradle b/edu/dependencies/build.gradle
@@ -44,12 +44,13 @@ configurations {
 
 def EduToolsPluginId = "com.jetbrains.edu"
 def EduToolsPluginName = "EduTools"
+def EduToolsRepo= EduToolsChannel == "Stable" ? "com.jetbrains.plugins" : "${EduToolsChannel}.com.jetbrains.plugins"
 
 def ScalaPluginId = "org.intellij.scala"
 def ScalaPluginName = "Scala"
 
 dependencies {
-  eduPlugin "com.jetbrains.plugins:$EduToolsPluginId:$EduToolsPluginVersion@zip"
+  eduPlugin "$EduToolsRepo:$EduToolsPluginId:$EduToolsPluginVersion@zip"
   scalaPlugin "com.jetbrains.plugins:$ScalaPluginId:$ScalaPluginVersion@zip"
 }
 

diff --git a/edu/dependencies/gradle.properties b/edu/dependencies/gradle.properties
@@ -1,2 +1,3 @@
-EduToolsPluginVersion=1.8-2018.2-676
-ScalaPluginVersion=2018.2.6
+EduToolsPluginVersion=2.1-2018.3-1060
+EduToolsChannel=Beta
+ScalaPluginVersion=2018.3.4