Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2025-03-28 08:12:43 +0100
committerAndreas Baumann <mail@andreasbaumann.cc>2025-03-28 08:12:43 +0100
commitd72e16c5c07bd064a72e080b5e63cf267bc1bbe6 (patch)
treec16f5f11f34b33adb6a9404bb1b655024679e7ce
parentf447d82d4cb11904ab66fa2900898456ed466ea6 (diff)
mirrorlist.php: ignore more mirrors
-rw-r--r--mirrorlist.php6
1 files changed, 6 insertions, 0 deletions
diff --git a/mirrorlist.php b/mirrorlist.php
index d4ba6ea..7549b01 100644
--- a/mirrorlist.php
+++ b/mirrorlist.php
@@ -109,6 +109,12 @@ if ( count($_GET) > 1 ) {
print "## " . $mirror['country'] . "\n";
$last_country = $mirror['country'];
}
+ # I'm sure this can be done differently..
+ if( $mirror["url"] == "http://archlinux32.agoctrl.org/" ||
+ $mirror["url"] == "https://archlinux32.agoctrl.org/" ||
+ $mirror["url"] == "https://mirror.qctronics.com/arch32/" ) {
+ continue;
+ }
print "#Server = " . $mirror['url'] . '$arch/$repo' . "\n";
}