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

CLI option to exclude provenance link #710

Merged
merged 4 commits into from
Jun 17, 2024

Conversation

MikiDi
Copy link
Contributor

@MikiDi MikiDi commented Jun 11, 2024

Hi,

For a project where we would like to achieve results similar to how the ERA vocabulary is published, we were missing an option to disable the generation of the link to provenance data. I can only assume that the authors of mentioned vocabulary manually commented out unwanted content in the Widoco-generated html.
To achieve a similar result in an automated manner, we exposed the excludeProvenance-option (that is available in the GUI?) in the CLI.

@dgarijo
Copy link
Owner

dgarijo commented Jun 13, 2024

Thanks, this looks fine to me. I will merge soon

@dgarijo
Copy link
Owner

dgarijo commented Jun 15, 2024

@MikiDi can you please push it to the develop branch? It's where we have the latest updates. See: https://github.com/dgarijo/Widoco/blob/master/CONTRIBUTING.md

@dgarijo dgarijo changed the base branch from master to develop June 17, 2024 12:40
@dgarijo dgarijo merged commit f318551 into dgarijo:develop Jun 17, 2024
4 checks passed
@dgarijo
Copy link
Owner

dgarijo commented Jun 17, 2024

O changed the branch myself, since there was no answer :)

@MikiDi
Copy link
Contributor Author

MikiDi commented Jun 25, 2024

Thanks!

@MarcKramerInfrabel
Copy link

Hi,
normally we use your "latest" release in our environment to generate the documentation of our ontology.
Can you tell me when the commit f318551 will be published in a new release?

@dgarijo
Copy link
Owner

dgarijo commented Jun 27, 2024

Hi @MarcKramerInfrabel,
I wanted to fix a couple of documentation issues in this next release. Will try to have a new one soon

@dgarijo
Copy link
Owner

dgarijo commented Jun 30, 2024

Ok, now it should be out, @MarcKramerInfrabel

@MarcKramerInfrabel
Copy link

Thanks for the update.

This pull request was closed.
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.

3 participants