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

Programming Exercise: Add Exercise-Wide Online IDE Settings #8785

Closed
Tracked by #8602
iyannsch opened this issue Jun 12, 2024 · 0 comments · Fixed by #8965
Closed
Tracked by #8602

Programming Exercise: Add Exercise-Wide Online IDE Settings #8785

iyannsch opened this issue Jun 12, 2024 · 0 comments · Fixed by #8965
Assignees

Comments

@iyannsch
Copy link
Contributor

iyannsch commented Jun 12, 2024

Is your feature request related to a problem?

The currently existing online code editor in Artemis is a great tool for beginners to jump into programming exercises. However, its functionality is limited for more advanced use cases. In my master's thesis, we implement the online IDE Theia as an alternative way to interact with the Artemis exercise workflow. Student do not have to set up an IDE locally anymore, saving them time and the struggle to configure it to fit their numerous courses. Currently, instructors cannot define whether they want students to have access to an online IDE for a specific exercise.

Describe the solution you'd like

Add available IDE images to a config file so that we can define which versions of Theia are available.

Add a server endpoint to provide the client with all available images including their purpose or name.

Show instructor options to en-/disable the online IDE for an exercise and configure it if available.

Describe alternatives you've considered

Additional context

This is a sub-issue of the feature proposed in #8602

@iyannsch iyannsch changed the title Add Exercise-Wide Online IDE Settings Programming Exercise: Add Exercise-Wide Online IDE Settings Jun 12, 2024
@iyannsch iyannsch self-assigned this Jun 12, 2024
@iyannsch iyannsch linked a pull request Jul 3, 2024 that will close this issue
24 tasks
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

Successfully merging a pull request may close this issue.

1 participant