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.

Sign up for GitHub

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

Jump to bottom

Maven plugin replacement #178

Open
mauricioaniche opened this issue May 27, 2023 · 2 comments
Open

Maven plugin replacement #178

mauricioaniche opened this issue May 27, 2023 · 2 comments
Labels
enhancement New feature or request Low priority

Comments

@mauricioaniche
Copy link
Contributor

The maven plugin is a pain to keep up-to-date. Let's delete it. This will also allow us to migrate from Maven to Gradle.

If we delete it, we can implement a simple mechanism in the assignments repository to download the jar from the internet the latest jar and use it! Or bring assignments to this project, make it one of the modules, and the dependency will naturally work.
@mauricioaniche mauricioaniche added enhancement New feature or request Low priority labels May 27, 2023
@martinmladenov martinmladenov changed the title Get rid of the maven plugin Maven plugin replacement May 29, 2023
@martinmladenov
Copy link
Collaborator

Maven plugin support was removed in #174. We should still do something to allow students to easily run Andy. That can be via a script that launches a temporary docker container, or one which launches Andy directly, or both!

@martinmladenov
Copy link
Collaborator

The README should be updated to reflect the changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request Low priority
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mauricioaniche @martinmladenov