Download single edition by name

[4e6]

Pull Request Description

close #7480

Changelog:

• update: download the single required edition instead of batch update

Important Notes

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• The documentation has been updated, if necessary.
• All code follows the
  Scala,
  Java,
  and
  Rust
  style guides. In case you are using a language not listed above, follow the Rust style guide.
• All code has been tested:
  • Unit tests have been written where possible.

[4e6]

QA:

• Clean the ENSO_DATA_DIRECTORY directory
• Build IDE with ./run ide build or download one from the CI, i.e. commit 0afb206
• Open a new project or change the edition of the existing project, for example to 2023.2.1-nightly.2023.9.7

[JaroslavTulach]

Shouldn't we avoid downloading anything (including an edition) when one downloads IDE and creates new project? Everything shall be ready locally (GraalVM, engine, stdlibs, edition).

[hubertp]

Shouldn't we avoid downloading anything (including an edition) when one downloads IDE and creates new project? Everything shall be ready locally (GraalVM, engine, stdlibs, edition).

There is a separate ticket for that #7698.

[hubertp]

I'm still seeing

[DEBUG] [2023-09-12T10:27:56+02:00] [org.enso.projectmanager.requesthandler.ProjectListHandler] started (org.enso.projectmanager.requesthandler.ProjectListHandler@341bbd41)
[DEBUG] [2023-09-12T10:27:56+02:00] [org.enso.downloader.http.HTTPDownload] Fetching [https://editions.release.enso.org/enso/manifest.yaml].
[WARN] [2023-09-12T10:27:56+02:00] [org.enso.projectmanager.service.ProjectService] Could not resolve engine version for Edition(Some(2023.2.1-nightly.2023.8.15),None,Map(),Map()). Falling back to Edition(Some(0.0.0-dev),None,Map(),Map())
[DEBUG] [2023-09-12T10:27:56+02:00] [org.enso.downloader.http.HTTPDownload] Fetching [https://editions.release.enso.org/enso/manifest.yaml].

when I deleted the specific version and opening a different version project. Shouldn't these be gone as well?

[4e6]

when I deleted the specific version and opening a different version project. Shouldn't these be gone as well?

@hubertp it makes sense to fallback to default edition because there's no 2023.2.1-nightly.2023.8.15 version published https://editions.release.enso.org/enso/manifest.yaml

[hubertp]

when I deleted the specific version and opening a different version project. Shouldn't these be gone as well?

@hubertp it makes sense to fallback to default edition because there's no 2023.2.1-nightly.2023.8.15 version published https://editions.release.enso.org/enso/manifest.yaml

Yes, but why does it check it all? I'm not opening that project.

[hubertp]

Created a separate ticket for the discovered problem.