File tree Expand file tree Collapse file tree 3 files changed +20
-2
lines changed
Expand file tree Collapse file tree 3 files changed +20
-2
lines changed Original file line number Diff line number Diff line change @@ -58,12 +58,18 @@ jobs:
5858 "$f"
5959 done
6060
61+ echo "Fix /etc/apt/apt-mirrors.txt (used by URIs: mirror+file:...)"
62+ if grep -qE '^\s*https?://azure\.archive\.ubuntu\.com/ubuntu/?' /etc/apt/apt-mirrors.txt; then
63+ # Replace azure with our mirror (idempotent)
64+ sudo sed -i -e "s|^\s*https\?://azure\.archive\.ubuntu\.com/ubuntu/?|http://mirror.arizona.edu/ubuntu/|" /etc/apt/apt-mirrors.txt
65+ fi
66+
6167 # Peek (verify changes)
6268 grep -RIn "azure.archive.ubuntu.com" /etc/apt || true
6369 grep -RInE '^(deb|Types|URIs)' /etc/apt || true
6470
6571 - name : Update repository
66- run : sudo apt-get update Acquire::Retries=3
72+ run : sudo apt-get update -o Acquire::Retries=3
6773
6874 - name : Install dependencies
6975 run : |
Original file line number Diff line number Diff line change @@ -58,12 +58,18 @@ jobs:
5858 "$f"
5959 done
6060
61+ echo "Fix /etc/apt/apt-mirrors.txt (used by URIs: mirror+file:...)"
62+ if grep -qE '^\s*https?://azure\.archive\.ubuntu\.com/ubuntu/?' /etc/apt/apt-mirrors.txt; then
63+ # Replace azure with our mirror (idempotent)
64+ sudo sed -i -e "s|^\s*https\?://azure\.archive\.ubuntu\.com/ubuntu/?|http://mirror.arizona.edu/ubuntu/|" /etc/apt/apt-mirrors.txt
65+ fi
66+
6167 # Peek (verify changes)
6268 grep -RIn "azure.archive.ubuntu.com" /etc/apt || true
6369 grep -RInE '^(deb|Types|URIs)' /etc/apt || true
6470
6571 - name : Update repository
66- run : sudo apt-get update
72+ run : sudo apt-get update -o Acquire::Retries=3
6773
6874 - name : Install cross compilers
6975 run : |
Original file line number Diff line number Diff line change 4949 "$f"
5050 done
5151
52+ echo "Fix /etc/apt/apt-mirrors.txt (used by URIs: mirror+file:...)"
53+ if grep -qE '^\s*https?://azure\.archive\.ubuntu\.com/ubuntu/?' /etc/apt/apt-mirrors.txt; then
54+ # Replace azure with our mirror (idempotent)
55+ sudo sed -i -e "s|^\s*https\?://azure\.archive\.ubuntu\.com/ubuntu/?|http://mirror.arizona.edu/ubuntu/|" /etc/apt/apt-mirrors.txt
56+ fi
57+
5258 # Peek (verify changes)
5359 grep -RIn "azure.archive.ubuntu.com" /etc/apt || true
5460 grep -RInE '^(deb|Types|URIs)' /etc/apt || true
You can’t perform that action at this time.
0 commit comments