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

Deletion of characters on edit submission #4206

Closed
tibvdm opened this issue Nov 30, 2022 · 0 comments · Fixed by #4352
Closed

Deletion of characters on edit submission #4206

tibvdm opened this issue Nov 30, 2022 · 0 comments · Fixed by #4352
Assignees
Labels
bug Something isn't working medium priority Things we want to see implemented relatively soon student Things summer interns can do

Comments

@tibvdm
Copy link
Collaborator

tibvdm commented Nov 30, 2022

Sometimes it is useful to run slightly edited code when answering questions. Dodona offers the edit button to copy the code. However, it seems that Dodona removes escaped parentheses '(' from the original code.

steps to reproduce the bug:
I haven't quite figured out how to reproduce it for my own submissions, but the screenshot contains an example of code, where it always happens.

Screenshots:

Student question:
Screenshot 2022-11-30 at 15 21 10

Code in my own editor after clicking the edit button. Anomaly in the sed command on line 10
Screenshot 2022-11-30 at 15 21 29

Link in screenshots: https://dodona.ugent.be/nl/submissions/12511213

@tibvdm tibvdm added the bug Something isn't working label Nov 30, 2022
@bmesuere bmesuere added this to Roadmap Nov 30, 2022
@bmesuere bmesuere moved this to Unplanned in Roadmap Nov 30, 2022
@chvp chvp added student Things summer interns can do medium priority Things we want to see implemented relatively soon labels Dec 6, 2022
@bmesuere bmesuere moved this from Unplanned to Todo in Roadmap Jan 21, 2023
@jorg-vr jorg-vr self-assigned this Jan 24, 2023
@github-project-automation github-project-automation bot moved this from Todo to Done in Roadmap Jan 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working medium priority Things we want to see implemented relatively soon student Things summer interns can do
Projects
Status: Done
Development

Successfully merging a pull request may close this issue.

3 participants