From 35521e6303acd362a4991329e8a00365b3705bd1 Mon Sep 17 00:00:00 2001 From: Philippus Date: Thu, 2 Jun 2022 10:06:30 +0200 Subject: [PATCH] Replace links to IDE support page --- .../_posts/2017-05-31-first-dotty-milestone-release.md | 2 +- .../_posts/2017-07-12-second-dotty-milestone-release.md | 2 +- .../_posts/2017-09-07-third-dotty-milestone-release.md | 2 +- .../_posts/2017-10-16-fourth-dotty-milestone-release.md | 5 ++--- .../_posts/2017-12-01-fifth-dotty-milestone-release.md | 2 +- .../_posts/2018-03-05-seventh-dotty-milestone-release.md | 4 ++-- .../_posts/2018-04-27-eighth-dotty-milestone-release.md | 2 +- .../_posts/2018-07-06-ninth-dotty-milestone-release.md | 2 +- .../_posts/2018-10-10-10th-dotty-milestone-release.md | 2 +- .../_posts/2018-11-30-11th-dotty-milestone-release.md | 2 +- .../_posts/2019-01-21-12th-dotty-milestone-release.md | 2 +- .../_posts/2019-03-05-13th-dotty-milestone-release.md | 2 +- docs/_docs/contributing/tools/ide.md | 8 ++++---- 13 files changed, 18 insertions(+), 19 deletions(-) diff --git a/docs/_blog/_posts/2017-05-31-first-dotty-milestone-release.md b/docs/_blog/_posts/2017-05-31-first-dotty-milestone-release.md index b3c6ae9771ae..9bfd22b2e3db 100644 --- a/docs/_blog/_posts/2017-05-31-first-dotty-milestone-release.md +++ b/docs/_blog/_posts/2017-05-31-first-dotty-milestone-release.md @@ -72,7 +72,7 @@ This technology preview demonstrates new language features planned for Scala 3: We also ship with tools that help you try out the Dotty platform: - - [IDE features for Visual Studio Code](https://dotty.epfl.ch/docs/usage/ide-support.html) + - [IDE features for Visual Studio Code](https://docs.scala-lang.org/scala3/getting-started.html#using-vscode-with-metals) - [sbt support, including retro-compatibility with Scala 2](https://github.com/lampepfl/dotty-example-project) See here for the full [release notes](https://dotty.epfl.ch/docs/release-notes/0.1.2.html). diff --git a/docs/_blog/_posts/2017-07-12-second-dotty-milestone-release.md b/docs/_blog/_posts/2017-07-12-second-dotty-milestone-release.md index aa71d62ffc97..9172b5ad67ec 100644 --- a/docs/_blog/_posts/2017-07-12-second-dotty-milestone-release.md +++ b/docs/_blog/_posts/2017-07-12-second-dotty-milestone-release.md @@ -291,7 +291,7 @@ good the code generated by the Dotty Linker with global analysis disabled: ## How can you try it out? We ship with tools that help you try out the Dotty platform: - - [IDE features for Visual Studio Code](https://dotty.epfl.ch/docs/usage/ide-support.html) + - [IDE features for Visual Studio Code](https://docs.scala-lang.org/scala3/getting-started.html#using-vscode-with-metals) - [sbt support, including retro-compatibility with Scala 2](https://github.com/lampepfl/dotty-example-project) diff --git a/docs/_blog/_posts/2017-09-07-third-dotty-milestone-release.md b/docs/_blog/_posts/2017-09-07-third-dotty-milestone-release.md index eb20292884f1..236591139105 100644 --- a/docs/_blog/_posts/2017-09-07-third-dotty-milestone-release.md +++ b/docs/_blog/_posts/2017-09-07-third-dotty-milestone-release.md @@ -44,7 +44,7 @@ This technology preview further improves stability and reliability. Some highlig ## How can you try it out? We ship with tools that help you try out the Dotty platform: - - [IDE features for Visual Studio Code](https://dotty.epfl.ch/docs/usage/ide-support.html) + - [IDE features for Visual Studio Code](https://docs.scala-lang.org/scala3/getting-started.html#using-vscode-with-metals) - [sbt support, including retro-compatibility with Scala 2](https://github.com/lampepfl/dotty-example-project) diff --git a/docs/_blog/_posts/2017-10-16-fourth-dotty-milestone-release.md b/docs/_blog/_posts/2017-10-16-fourth-dotty-milestone-release.md index 4990ec198aa0..7f98c4835ee6 100644 --- a/docs/_blog/_posts/2017-10-16-fourth-dotty-milestone-release.md +++ b/docs/_blog/_posts/2017-10-16-fourth-dotty-milestone-release.md @@ -36,8 +36,7 @@ The [new REPL](https://github.com/lampepfl/dotty/pull/2991) instead works by manipulating ASTs (Abstract Syntax Trees), this is more robust and will make it easier to develop new features: we have already implemented auto-completion support (by reusing the APIs we had created for -the [Dotty IDE](https://dotty.epfl.ch/docs/usage/ide-support.html)) and we have -plans for displaying API documentation in the REPL. +the Dotty IDE and we have plans for displaying API documentation in the REPL. Note that the user interface of the REPL has not changed: like in the old REPL we use code adapted from the [Ammonite REPL](http://ammonite.io/#Ammonite-REPL) @@ -77,7 +76,7 @@ using Dotty with sbt, see the ### IDE support It is very easy to start using the Dotty IDE in any Dotty project by following -the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html). +the IDE sections of the [getting-started page](https://docs.scala-lang.org/scala3/getting-started.html). ### Standalone installation diff --git a/docs/_blog/_posts/2017-12-01-fifth-dotty-milestone-release.md b/docs/_blog/_posts/2017-12-01-fifth-dotty-milestone-release.md index 98fa6e127088..60d1062b7eac 100644 --- a/docs/_blog/_posts/2017-12-01-fifth-dotty-milestone-release.md +++ b/docs/_blog/_posts/2017-12-01-fifth-dotty-milestone-release.md @@ -138,7 +138,7 @@ using Dotty with sbt, see the ### IDE support It is very easy to start using the Dotty IDE in any Dotty project by following -the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html). +the IDE sections of the [getting-started page](https://docs.scala-lang.org/scala3/getting-started.html). ### Standalone installation diff --git a/docs/_blog/_posts/2018-03-05-seventh-dotty-milestone-release.md b/docs/_blog/_posts/2018-03-05-seventh-dotty-milestone-release.md index a24e4c595026..a72e04409ea0 100644 --- a/docs/_blog/_posts/2018-03-05-seventh-dotty-milestone-release.md +++ b/docs/_blog/_posts/2018-03-05-seventh-dotty-milestone-release.md @@ -114,7 +114,7 @@ local and imported definitions. Members completions take possible implicit conve We also improved the `find references` functionality. It is more robust and much faster! -Try it out in [Visual Studio Code](https://dotty.epfl.ch/docs/usage/ide-support.html)! +Try it out in [Visual Studio Code](https://docs.scala-lang.org/scala3/getting-started.html#using-vscode-with-metals)! ### Better and safer types in pattern matching (improved GADT support) @@ -204,7 +204,7 @@ using Dotty with sbt, see the ### IDE support It is very easy to start using the Dotty IDE in any Dotty project by following -the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html). +the IDE sections of the [getting-started page](https://docs.scala-lang.org/scala3/getting-started.html). ### Standalone installation diff --git a/docs/_blog/_posts/2018-04-27-eighth-dotty-milestone-release.md b/docs/_blog/_posts/2018-04-27-eighth-dotty-milestone-release.md index 324d0f1349fa..72c0747e659d 100644 --- a/docs/_blog/_posts/2018-04-27-eighth-dotty-milestone-release.md +++ b/docs/_blog/_posts/2018-04-27-eighth-dotty-milestone-release.md @@ -133,7 +133,7 @@ using Dotty with sbt, see the ### IDE support It is very easy to start using the Dotty IDE in any Dotty project by following -the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html). +the IDE sections of the [getting-started page](https://docs.scala-lang.org/scala3/getting-started.html). ### Standalone installation diff --git a/docs/_blog/_posts/2018-07-06-ninth-dotty-milestone-release.md b/docs/_blog/_posts/2018-07-06-ninth-dotty-milestone-release.md index cefd8bd39e4d..914eca4d73d3 100644 --- a/docs/_blog/_posts/2018-07-06-ninth-dotty-milestone-release.md +++ b/docs/_blog/_posts/2018-07-06-ninth-dotty-milestone-release.md @@ -117,7 +117,7 @@ using Dotty with sbt, see the ### IDE support Start using the Dotty IDE in any Dotty project by following -the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html). +the IDE sections of the [getting-started page](https://docs.scala-lang.org/scala3/getting-started.html). ### Standalone installation diff --git a/docs/_blog/_posts/2018-10-10-10th-dotty-milestone-release.md b/docs/_blog/_posts/2018-10-10-10th-dotty-milestone-release.md index 8bede806ac53..b583d1bd0f49 100644 --- a/docs/_blog/_posts/2018-10-10-10th-dotty-milestone-release.md +++ b/docs/_blog/_posts/2018-10-10-10th-dotty-milestone-release.md @@ -154,7 +154,7 @@ using Dotty with Mill, see the ### IDE support Start using the Dotty IDE in any Dotty project by following -the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html). +the IDE sections of the [getting-started page](https://docs.scala-lang.org/scala3/getting-started.html). ### Standalone installation diff --git a/docs/_blog/_posts/2018-11-30-11th-dotty-milestone-release.md b/docs/_blog/_posts/2018-11-30-11th-dotty-milestone-release.md index db3108b12eee..344900e2e164 100644 --- a/docs/_blog/_posts/2018-11-30-11th-dotty-milestone-release.md +++ b/docs/_blog/_posts/2018-11-30-11th-dotty-milestone-release.md @@ -140,7 +140,7 @@ using Dotty with Mill, see the ### IDE support Start using the Dotty IDE in any Dotty project by following -the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html). +the IDE sections of the [getting-started page](https://docs.scala-lang.org/scala3/getting-started.html). ### Standalone installation diff --git a/docs/_blog/_posts/2019-01-21-12th-dotty-milestone-release.md b/docs/_blog/_posts/2019-01-21-12th-dotty-milestone-release.md index 15d689730b90..f9fc25375d86 100644 --- a/docs/_blog/_posts/2019-01-21-12th-dotty-milestone-release.md +++ b/docs/_blog/_posts/2019-01-21-12th-dotty-milestone-release.md @@ -131,7 +131,7 @@ using Dotty with Mill, see the ### IDE support Start using the Dotty IDE in any Dotty project by following -the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html). +the IDE sections of the [getting-started page](https://docs.scala-lang.org/scala3/getting-started.html). ### Standalone installation diff --git a/docs/_blog/_posts/2019-03-05-13th-dotty-milestone-release.md b/docs/_blog/_posts/2019-03-05-13th-dotty-milestone-release.md index d595e5e0d069..f1838847d81e 100644 --- a/docs/_blog/_posts/2019-03-05-13th-dotty-milestone-release.md +++ b/docs/_blog/_posts/2019-03-05-13th-dotty-milestone-release.md @@ -354,7 +354,7 @@ using Dotty with Mill, see the ## IDE support Start using the Dotty IDE in any Dotty project by following -the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html). +the IDE sections of the [getting-started page](https://docs.scala-lang.org/scala3/getting-started.html). ## Standalone installation diff --git a/docs/_docs/contributing/tools/ide.md b/docs/_docs/contributing/tools/ide.md index 3b40501bfc80..5db333bee9d9 100644 --- a/docs/_docs/contributing/tools/ide.md +++ b/docs/_docs/contributing/tools/ide.md @@ -4,8 +4,8 @@ title: Using an IDE --- You can use either Metals (VS Code, vim) or IntelliJ IDEA as described on the -[IDE Support](../../usage/ide-support.md) page to work on the Scala 3 codebase. There are however -a few additional considerations to take into account. +IDE sections of the [getting-started page](https://docs.scala-lang.org/scala3/getting-started.html) to work +on the Scala 3 codebase. There are however a few additional considerations to take into account. ## Bootstrapping Projects @@ -25,8 +25,8 @@ These duplicated projects can be confusing and cause issues in IDEs. When using Metals, the `-bootstrapped` projects are not exported. -In IntelliJ IDEA, we recommend importing the dotty codebase through BSP as described on the -[IDE Support page](../../usage/ide-support.md), then the `-bootstrapped` projects are not exported. +In IntelliJ IDEA, we recommend importing the dotty codebase through BSP, then the `-bootstrapped` +projects are not exported. ## Scala Version warning in Metals