chore: config editor (#5878)

Browse Source

The goal is to have a single place where we actually write files

In a follow-up PR, will move everything config related in a dedicated
module and move the helpers in a dedicated file

...

This commit is contained in:

jif-oai

2025-10-29 20:52:46 +00:00

committed by GitHub

parent 2b20cd66af

commit db31f6966d

8 changed files with 976 additions and 1056 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

1460

codex-rs/core/src/config_edit.rs

File diff suppressed because it is too large Load Diff