mirror of
https://github.com/pchuan98/codex.git
synced 2026-07-01 00:31:56 +08:00
Add cached environment manager for exec server URL (#15785)
Add environment manager that is a singleton and is created early in app-server (before skill manager, before config loading). Use an environment variable to point to a running exec server.
This commit is contained in:
committed by
GitHub
Unverified
parent
f24c55f0d5
commit
8fa88fa8ca
@@ -14,6 +14,11 @@ codex *args:
|
||||
exec *args:
|
||||
cargo run --bin codex -- exec "$@"
|
||||
|
||||
# Start codex-exec-server, enable the app-server TUI, and run codex-tui.
|
||||
[no-cd]
|
||||
tui-with-exec-server *args:
|
||||
./scripts/run_tui_with_exec_server.sh "$@"
|
||||
|
||||
# Run the CLI version of the file-search crate.
|
||||
file-search *args:
|
||||
cargo run --bin codex-file-search -- "$@"
|
||||
|
||||
Reference in New Issue
Block a user