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

Query language for remarks #34

Open
oleks opened this issue Mar 9, 2021 · 2 comments
Open

Query language for remarks #34

oleks opened this issue Mar 9, 2021 · 2 comments

Comments

@oleks
Copy link
Member

oleks commented Mar 9, 2021

Different students often make similar mistakes. To this end, I often use raw (as in, human brain) memory, and grep at best, to find a comment that I had previously given, and paste it in for another student. Clearly, both are imprecise. It would be nice to be able to query into remarks files to list just the remarks under a particular judgement and/or structural remark. This would make it easier to recall what sort of comments have been given under a particular point, and to find the comment one is thinking of.

I guess this calls for something like XPath or CSS selectors; just for remarks.

@oleks oleks changed the title Query for remarks Query language for remarks Mar 9, 2021
@athas
Copy link
Contributor

athas commented May 3, 2022

Maybe this is best done by allowing the export of remarks data into some other structured format that already has a query language.

@oleks
Copy link
Member Author

oleks commented May 3, 2022

Maybe this is best done by allowing the export of remarks data into some other structured format that already has a query language.

I don't think the idea was well-formed at the time. It makes more sense that I open a remarks file, place my cursor under a judgement/remark, and ask my editor to tell me what else I, or some other (re)marksman, has put under that judgement/remark.

I have been toying with the idea of a web-based UI in general, but I guess some editor modes would be more in line with the initially plain-text file format.

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

2 participants