Keep one draft per source, not per directory - #69
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
source add writes draft.json beside the source, and every draft command reads the draft in a directory. So a folder holding several sheets - which is what every document set in the corpus is (PHYS40002 has 18 tex files in one folder) - can hold one draft at a time: the agent's sweep over that folder overwrote draft.json eighteen times, and nothing can inspect any but the last. It also means two people, or two runs, cannot work on two sheets in one folder.
Name the draft after its source: freezing sheet.tex writes sheet.draft.json (or a sheet.in2lambda/ folder holding source.md, draft.json and the spec run's record), and every command takes the draft path, or the source path, rather than a directory:
in2lambda draft question add --draft sheet.draft.json ...with the current directory's single draft still found when there is exactly one. The log, replay, validate, build and render all follow. Done when two sources in one folder each freeze, validate and build without touching the other, and the fixtures and the docs use the new naming.Workbench ticket t42.