-
Couldn't load subscription status.
- Fork 6k
Prefer project-local .codex as CODEX_HOME; update docs (fixes #3706) #4007
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
base: main
Are you sure you want to change the base?
Conversation
|
All contributors have signed the CLA ✍️ ✅ |
|
I have read the CLA Document and I hereby sign the CLA |
|
Thank you for this! Looking forward to it. |
15f45cf to
fa8199b
Compare
|
Merge this please, it's an essential piece of functionality. |
… directory sanitization
|
This two commit, extends the /status panel to display which codex_home the project is currently running with. Details
CODEX_HOME: ~/codex A folder named .codex was opened in the main project directory. |
|
github spec-kit asks you to set CODEX_HOME when using it in a project. This would make that unnessecary. |
|
@kervel Yes, that's true; the goal is to create a project-specific conf structure. Under normal use, if there's no .codex folder in the project, the system will work as before without any impact. |
Motivation
compliance easier to reason about per project.
flags.
Testing
Manual sanity
Changed files
Notes