bv_decide? should write to a temporary file, not the source directory
Open
Nobody has claimed this yet.
P-low
- Dominant language
- Lean
- Stars
- 9.2k
- Forks
- 990
- Avg merge
- 1d 17h
- Merged PRs (30d)
- 175
Description
There is no guarantee that the source directory is writable (or in the case of a temporary buffer, that the file even exists), and so this can cause bv_decide? to fail.
Writing to a temporary file or directory should avoid this issue, and presumably can also help avoid race conditions.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the implementation and tests for bv_decide?, then inspect how it chooses the source path for generated output. Done means it works when the source directory is not writable or the temporary buffer has no file, without introducing race conditions.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100