mirror of
https://gitee.com/mirrors_PX4/PX4-Autopilot.git
synced 2026-04-14 10:07:39 +08:00
60db79f35e
The mirror swap was duplicated across two workflows. Move it into Tools/ci/use_aws_apt_mirror.sh and call the script from each workflow after checkout but before any heavy apt work like Tools/setup/ubuntu.sh. The script no-ops outside runs-on (RUNS_ON_AWS_REGION unset), so it is safe to call from forks, self-hosted runners, or local container runs without changing behavior there. The region is read from the runs-on environment instead of being hardcoded, so future region changes only need updating where the runner is provisioned. The bootstrap 'apt install git' step keeps the default mirror because git is one package and is unlikely to hit the dep11 desync issue that broke ubuntu.sh. Signed-off-by: Ramon Roche <mrpollo@gmail.com>
43 lines
1.6 KiB
Bash
Executable File
43 lines
1.6 KiB
Bash
Executable File
#!/bin/sh
|
|
# Rewrite the container's apt sources to point at the AWS regional Ubuntu
|
|
# mirror that is local to the runs-on instance.
|
|
#
|
|
# The default archive.ubuntu.com round-robin sometimes serves out-of-sync
|
|
# index files mid-sync, breaking apt-get update with errors like:
|
|
# File has unexpected size (25378 != 25381). Mirror sync in progress?
|
|
# The Canonical-operated EC2 mirrors are region-local and sync aggressively,
|
|
# eliminating that failure mode.
|
|
#
|
|
# This script is a no-op outside runs-on, so it is safe to call from any CI
|
|
# job (forks, self-hosted runners, local docker runs, etc.) without changing
|
|
# behavior there.
|
|
#
|
|
# Usage (from a workflow step running inside the container):
|
|
# ./Tools/ci/use_aws_apt_mirror.sh
|
|
|
|
set -e
|
|
|
|
if [ -z "$RUNS_ON_AWS_REGION" ]; then
|
|
echo "use_aws_apt_mirror: not running on runs-on (RUNS_ON_AWS_REGION unset), skipping"
|
|
exit 0
|
|
fi
|
|
|
|
MIRROR="http://${RUNS_ON_AWS_REGION}.ec2.archive.ubuntu.com/ubuntu"
|
|
echo "use_aws_apt_mirror: rewriting apt sources to ${MIRROR}"
|
|
|
|
# Noble (24.04+) uses the deb822 format at /etc/apt/sources.list.d/ubuntu.sources
|
|
if [ -f /etc/apt/sources.list.d/ubuntu.sources ]; then
|
|
sed -i \
|
|
-e "s|http://archive.ubuntu.com/ubuntu|${MIRROR}|g" \
|
|
-e "s|http://security.ubuntu.com/ubuntu|${MIRROR}|g" \
|
|
/etc/apt/sources.list.d/ubuntu.sources
|
|
fi
|
|
|
|
# Jammy (22.04) and earlier use the legacy /etc/apt/sources.list
|
|
if [ -f /etc/apt/sources.list ]; then
|
|
sed -i \
|
|
-e "s|http://archive.ubuntu.com/ubuntu|${MIRROR}|g" \
|
|
-e "s|http://security.ubuntu.com/ubuntu|${MIRROR}|g" \
|
|
/etc/apt/sources.list
|
|
fi
|