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

Jena CLI: allow changing writer settings with presets #223

Merged
merged 1 commit into from
Nov 15, 2024

Conversation

Ostrzyciel
Copy link
Member

Previously it was not really possible to change the Jelly writer options when using the Jena CLI utilities. There is a CLI option to modify the Jena context, but our context would have to be set to a Java object... which I honestly hope is not possible, because that would be RCE or something.

So, to get around this, this commit introduces "presets" based on the default setting presets available in JellyOptions. The user can simply choose one of these by setting a symbol to the name of the preset.

I've added a test that checks if this works across all writers.

I've also added a doc page documenting this, because honestly, it's a neat and useful feature.

Previously it was not really possible to change the Jelly writer options when using the Jena CLI utilities. There is a CLI option to modify the Jena context, but our context would have to be set to a Java object... which I honestly hope is not possible, because that would be RCE or something.

So, to get around this, this commit introduces "presets" based on the default setting presets available in JellyOptions. The user can simply choose one of these by setting a symbol to the name of the preset.

I've added a test that checks if this works across all writers.

I've also added a doc page documenting this, because honestly, it's a neat and useful feature.
@Ostrzyciel
Copy link
Member Author

I'll review and merge it tomorrow. Sleep.

@Ostrzyciel Ostrzyciel merged commit 05611e4 into main Nov 15, 2024
4 checks passed
@Ostrzyciel Ostrzyciel deleted the jena-preset-cli branch November 15, 2024 09:05
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 this pull request may close these issues.

1 participant