请定位我本机正在使用的代理端口和代理协议，然后创建或更新~/.codex/.env，写入以下代理配置。不要写死端口，请替换成实际端口;如果文件已经存在，保留其他配置。
mixed端口>"mixed端口>”
HTTP_PROXY="http://127.0.0.1:<HTTP 或
HTTPS_PROXY="http://127.0.0.1:<HTTP 或
写入后检查配置是否正确，并告诉我需要如何
重启Codex Desktop。