23 lines
563 B
Bash
Executable File
23 lines
563 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
script_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
|
|
|
resolve_real_codex() {
|
|
local dir
|
|
IFS=':' read -r -a path_parts <<<"${PATH}"
|
|
for dir in "${path_parts[@]}"; do
|
|
[[ "${dir}" == "${script_dir}" ]] && continue
|
|
if [[ -x "${dir}/codex" ]]; then
|
|
printf '%s\n' "${dir}/codex"
|
|
return 0
|
|
fi
|
|
done
|
|
return 1
|
|
}
|
|
|
|
codex_bin="$(resolve_real_codex)"
|
|
exec env -u HTTP_PROXY -u HTTPS_PROXY -u ALL_PROXY -u NO_PROXY \
|
|
-u http_proxy -u https_proxy -u all_proxy -u no_proxy \
|
|
"${codex_bin}" "$@"
|