Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
Discussion options

Hi everyone 👋

I’ve made a small improvement in PR #4007
that allows Codex to use a project-local .codex directory as CODEX_HOME.

I think this is helpful for people like me who work on multiple projects at the same time, as it really improves workflow and reduces potential conflicts.

This need has also been mentioned in a few issues:

Issue #3706

Issue #3839

If there’s anything you’d like me to change or improve in this PR, I’d be happy to work on it. Your feedback is really important to me and will help make this better.

Thanks a lot for your time and attention! 🙏

You must be logged in to vote

Replies: 1 comment

Comment options

Hi @bolinfest, how are you?

I opened PR #4007 to introduce support for a project-local .codex directory as CODEX_HOME.
I just wanted to check if this kind of improvement would be considered for merging,
or if there are any changes or directions you’d recommend before moving forward.

Thanks for your time!

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
🙏
Q&A
Labels
None yet
1 participant
Morty Proxy This is a proxified and sanitized view of the page, visit original site.