Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Launcher #955

Closed
22 of 26 tasks
radeusgd opened this issue Jun 30, 2020 · 0 comments
Closed
22 of 26 tasks

Launcher #955

radeusgd opened this issue Jun 30, 2020 · 0 comments
Assignees
Labels
--breaking Important: a change that will break a public API or user-facing behaviour p-medium Should be completed in the next few sprints

Comments

@radeusgd
Copy link
Member

radeusgd commented Jun 30, 2020

Summary

To make it easier to manage different versions of enso, we want to provide a launcher script that allows the user to launch different enso versions in each project and manage versions of both enso and GraalVM that it runs on.

The launcher will be used to run the REPL, enso scripts and the language server. Its responsibility will be to select the correct version based on the current directory (based on project configuration), make sure it is downloaded and up-to-date and pass command arguments to the launched component. It must also be possible to update the launcher itself.

Value

It is easier to use enso releases. The users don't have to bother with downloading new releases from the website, but can just use the update tool. It is possible to maintain different versions of enso for different projects. It is less likely that users will launch enso using wrong version of GraalVM, as its versions will also be managed by the launcher by default.

Specification

Launcher

Extending the Project Manager

Acceptance Criteria & Test Cases

  • The above specification has been completed.
  • The launcher is tested and distributed in the CI.
@radeusgd radeusgd added Category: Distribution --breaking Important: a change that will break a public API or user-facing behaviour p-medium Should be completed in the next few sprints labels Jun 30, 2020
@radeusgd radeusgd self-assigned this Jun 30, 2020
@radeusgd radeusgd added the Epic label Jun 30, 2020
@wdanilo wdanilo closed this as completed Apr 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
--breaking Important: a change that will break a public API or user-facing behaviour p-medium Should be completed in the next few sprints
Projects
None yet
Development

No branches or pull requests

2 participants