`lake clean` should remove `lakefile.olean` in the root directory and under `lake-packages`
Open
Nobody has claimed this yet.
Lake
P-medium
RFC
- Dominant language
- Lean
- Stars
- 9.2k
- Forks
- 990
- Avg merge
- 1d 17h
- Merged PRs (30d)
- 175
Description
(And possibly its location outside of build should be reconsidered.)
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 with the lake clean command and inspect how it identifies generated files under the root directory and lake-packages. Confirm the expected handling of lakefile.olean, including whether its location outside build affects cleanup, then verify that cleanup removes the reported files without affecting unrelated files.
Written by the indexing model from the issue text.
Assessment
- Domain
- build-system, cli
- Issue type
- Bug
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100