2018-12-08 15:27:57 +01:00
|
|
|
<?php
|
|
|
|
|
|
|
|
$repo = $_GET['repo'];
|
|
|
|
$arch = $_GET['arch'];
|
|
|
|
$basedirs = [
|
2023-08-05 22:40:16 +02:00
|
|
|
'https://cdn.openmamba.org/pub/openmamba/',
|
|
|
|
'https://hetzner3.openmamba.org/pub/openmamba/',
|
|
|
|
'https://mirror.freedif.org/openmamba/'
|
2018-12-08 15:27:57 +01:00
|
|
|
];
|
|
|
|
|
|
|
|
if (!$repo || !$arch) {
|
|
|
|
echo "Missing required arguments.<br>";
|
|
|
|
echo "Usage example: mirrors.php?repo=devel&arch=x86_64";
|
|
|
|
exit;
|
|
|
|
}
|
|
|
|
|
|
|
|
foreach ($basedirs as $basedir) {
|
|
|
|
echo $basedir . $repo . "/RPMS." . $arch . "/" . "\n";
|
|
|
|
}
|
2019-02-02 11:18:39 +01:00
|
|
|
?>
|