search

PreTeXtBook / pretext-cli

Command line interface for quickly creating, authoring, and building PreTeXt documents.
https://pretextbook.org
GNU General Public License v3.0
17 stars 17 forks source link

pretext validate #29

Open StevenClontz opened 4 years ago

StevenClontz commented 4 years ago

Provide a way to ensure that a PreTeXt document is valid, with user-friendly advice to fix (or perhaps an interactive way to fix simple issues).

oscarlevin commented 3 years ago

To clarify the distinction between this issue and #66: This issue is to implement a specific pretext validate option which will help a user fix invalid source.

arechnitzer commented 2 years ago

At present pretext build generates two error-logs ".error_schema.log" and "error_syntax.log" - can these be generated without doing a full build? Even these would be helpful... and maybe a stop-gap before a fuller parse/validate soln?

oscarlevin commented 1 year ago

Since we are getting close to a more useful dev schema, this should be a priority this summer. We should see if we can use the same library that vs code does, so no calls to an external server are necessary.