galaxyproject / galaxy Public
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
Reapproach to Documentation #8349
Comments
|
@eknorg It would be great to have your experience documented here. I wouldn't mind starting a proposal after gathering other input. |
|
I think a good direction would be to generate JSON schemas (it supports YAML) for all config/tool files that are parsed by Galaxy and render them with https://pypi.org/project/sphinx-jsonschema/ |
|
I agree that a JSON schema should be made available for the Galaxy file formats. It would make integration/mapping of Galaxy far easier |
|
It's worth noting that this is already done for galaxy.yml and the new job_conf.xml replacement, job_conf.yml, using pykwalify. |
|
@natefoo Does pykwalify have sphinx integration? |
|
My reading of this issue is that it has been agreed that having a (json) schema for galaxy-specific formats and syntax would be beneficial. This is in alignment with what the project is already doing with I am therefore closing this issue in favor of something more specific and actionable, preferably a PR or at least a more concrete need. |
|
Another issue is the way the documentation is published. The devs want the public to contribute to the documentation, but there is no system in place to do so. A wiki style framework is required that allows users to easily contribute. Currently someone would have to fork, clone, branch, locate the documentation in galaxies deep (and somewhat confusing) directory structure, edit, commit, push, and write up a PR, all for a single line contribution of text. Contributions aren't going to happen with that kind of a workflow. |
|
@innovate-invent for trivial doc changes like that, would editing in Github not be a reasonable approach? |
|
It would be, if the docs were presented with a edit link that takes you directly to the editor page of the file being viewed. I expect that contributors are going to be people who are busy working on their own projects. If it isn't simple and quick to add something they discovered then it won't happen. |
|
@innovate-invent good idea, I created an issue in #8547. |
|
@natefoo You should also have a look at githubs wiki system. It stores the wiki data in a orphaned branch. You can work with that branch locally, centralizing all of the docs into it. |
|
@innovate-invent I've used Github wikis quite a bit. We also moved a fair amount of our documentation and galaxyproject.org from a wiki for a number of reasons, so I don't think we are looking to move back. The PR process provides a consistent, familiar flow for the committer team to review, provide feedback, and incorporate doc changes. |
Copy pasted from gitter:
The text was updated successfully, but these errors were encountered: