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

OnlineIDE: Add dynamic plugin support for Online IDEs #8727

Open
iyannsch opened this issue Jun 4, 2024 · 1 comment
Open

OnlineIDE: Add dynamic plugin support for Online IDEs #8727

iyannsch opened this issue Jun 4, 2024 · 1 comment
Assignees

Comments

@iyannsch
Copy link
Contributor

iyannsch commented Jun 4, 2024

Is your feature request related to a problem?

tba

Describe the solution you'd like

In Artemis, instructors should have the option to specify not only the Theia base image but also a set a list of plugins they want to have enabled in the Theia instance of their students.

Describe alternatives you've considered

tba

Additional context

This issue relates to #8602

As an instructor, I want to add plugins of my choice to the online IDE of my course. They should be preconfigured for all my students.

As a user, I want to have all suggested features automatically set up for me so that I don't need to worry about them.

As an instructor, I want to characterize my students' working environment so that it blends into my exercise. For example, I want to create a system without a debugger or low RAM resembling a resource-constrained system.

As a user, I want my code to pass online Artemis tests. Thus, I want my online IDE to be as constrained as the tests will be.

@iyannsch iyannsch self-assigned this Jun 4, 2024
@iyannsch iyannsch changed the title M5: Add dynamic plugin support M5: Add dynamic plugin support for Online IDEs Jun 4, 2024
@iyannsch iyannsch changed the title M5: Add dynamic plugin support for Online IDEs OnlineIDE: Add dynamic plugin support for Online IDEs Jun 7, 2024
@iyannsch
Copy link
Contributor Author

Not feasible to trigger the image build from Artemis with dynamic plugin addition. Buildtimes of >30min also make this project unfeasible for now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant