From 9bc3a55fc4dd969fdf9d7decdd051a358c8e2b7c Mon Sep 17 00:00:00 2001
From: Samuel Aubertin <samuel.aubertin@gmail.com>
Date: Fri, 1 May 2026 17:53:01 +0200
Subject: [PATCH] Codex releases switched from gnu libc to musl, changing
 release name

---
 sloptrap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sloptrap b/sloptrap
index a97702c..c22f115 100755
--- a/sloptrap
+++ b/sloptrap
@@ -1155,7 +1155,7 @@ detect_codex_archive_name() {
   [[ -n $os ]] || error "failed to detect host OS for Codex download"
   [[ -n $arch ]] || error "failed to detect host architecture for Codex download"
   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" ;;
   esac
   case "$arch" in