16 lines
288 B
Bash
Executable File
16 lines
288 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
repo_root="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"
|
|
|
|
if [[ "${1:-}" == "exec" ]]; then
|
|
shift
|
|
set -- exec --skip-git-repo-check "$@"
|
|
fi
|
|
|
|
exec codex \
|
|
--profile-v2 azi4a2-autonomous \
|
|
--strict-config \
|
|
--cd "$repo_root" \
|
|
"$@"
|