Codex releases switched from gnu libc to musl, changing release name

This commit is contained in:
Samuel Aubertin
2026-05-01 17:53:01 +02:00
parent d781d74363
commit 9bc3a55fc4

View File

@@ -1155,7 +1155,7 @@ detect_codex_archive_name() {
[[ -n $os ]] || error "failed to detect host OS for Codex download" [[ -n $os ]] || error "failed to detect host OS for Codex download"
[[ -n $arch ]] || error "failed to detect host architecture for Codex download" [[ -n $arch ]] || error "failed to detect host architecture for Codex download"
case "$os" in case "$os" in
Linux|Darwin) codex_os="unknown-linux-gnu" ;; # Codex runs inside a Debian-based image Linux|Darwin) codex_os="unknown-linux-musl" ;; # Codex runs inside a Debian-based image
*) error "unsupported host OS '$os' for Codex download" ;; *) error "unsupported host OS '$os' for Codex download" ;;
esac esac
case "$arch" in case "$arch" in