agent/codex
2
0
Fork 0
mirror of https://github.com/pchuan98/codex.git synced 2026-07-01 00:31:56 +08:00
Code Issues Packages Projects Releases Wiki Activity

[experimental] nit: try to speed up apt-install 2 (#10164)

Browse Source
This commit is contained in:
jif-oai
2026-01-29 15:59:56 +01:00
committed by GitHub
Unverified
parent 2945667dcc
commit b654b7a9ae
1 changed files with 13 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/shell-tool-mcp.yml
+13 -8
View File
@@ -254,14 +254,19 @@ jobs:
if [[ "${{ matrix.target }}" == "aarch64-unknown-linux-musl" ]] && [[ -f /etc/os-release ]]; then
. /etc/os-release
if [[ "${ID-}" == "ubuntu" ]]; then
codename="${VERSION_CODENAME:-}"
if [[ -n "$codename" ]]; then
printf '%s\n' \
"deb http://ports.ubuntu.com/ubuntu-ports ${codename} main" \
"deb http://ports.ubuntu.com/ubuntu-ports ${codename}-updates main" \
"deb http://ports.ubuntu.com/ubuntu-ports ${codename}-backports main" \
"deb http://ports.ubuntu.com/ubuntu-ports ${codename}-security main" \
>/etc/apt/sources.list
if [[ -f /etc/apt/sources.list.d/ubuntu.sources ]]; then
# Ubuntu 24.04+ uses deb822 sources; trim components to main.
sed -i -E 's/^Components:.*/Components: main/' /etc/apt/sources.list.d/ubuntu.sources
else
codename="${VERSION_CODENAME:-}"
if [[ -n "$codename" ]]; then
printf '%s\n' \
"deb http://ports.ubuntu.com/ubuntu-ports ${codename} main" \
"deb http://ports.ubuntu.com/ubuntu-ports ${codename}-updates main" \
"deb http://ports.ubuntu.com/ubuntu-ports ${codename}-backports main" \
"deb http://ports.ubuntu.com/ubuntu-ports ${codename}-security main" \
>/etc/apt/sources.list
fi
fi
fi
fi