ci: Add ubuntu ports to apt mirrors

libgdx · Nov 18, 2023 · 3b72157 · 3b72157
1 parent 3b89e3e
commit 3b72157
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/.github/workflows/pushaction.yml b/.github/workflows/pushaction.yml
@@ -67,10 +67,9 @@ jobs:
     - name: Setup Gradle
       uses: gradle/[email protected]
 
-    - run: sudo sed -i 's/deb http/deb [arch=amd64,i386] http/' /etc/apt/sources.list
-    - run: sudo grep "ubuntu.com/ubuntu" /etc/apt/sources.list | sudo tee /etc/apt/sources.list.d/ports.list
-    - run: sudo sed -i 's/amd64,i386/armhf,arm64/' /etc/apt/sources.list.d/ports.list
-    - run: sudo sed -i 's#http://.*/ubuntu#http://ports.ubuntu.com/ubuntu-ports#' /etc/apt/sources.list.d/ports.list
+    - run: sudo cp /etc/apt/apt-mirrors.txt /etc/apt/apt-mirrors-ports.txt
+    - run: sudo "http://ports.ubuntu.com/ubuntu-ports priority:4" >> /etc/apt/apt-mirrors-ports.txt
+    - run: sudo sed -i 's/apt-mirrors/apt-mirrors-ports/' /etc/apt/sources.list
     - name: Add extra platform architectures
       run: sudo dpkg --add-architecture i386; sudo dpkg --add-architecture armhf; sudo dpkg --add-architecture arm64
     - run: sudo apt-get update || true