summaryrefslogtreecommitdiff
path: root/mirror.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-03-08 22:31:36 +0100
committerErich Eckner <git@eckner.net>2022-03-08 22:31:36 +0100
commit2c02575d3a8f1b1a41c3275ffc4b41e7c16d6991 (patch)
tree2e918e5f589bf94eb14b171a0f5b0cbb20efccd8 /mirror.php
parent9df336691c741d120cd5d1a551bdb52f2ddfc325 (diff)
downloadsourceMirror-2c02575d3a8f1b1a41c3275ffc4b41e7c16d6991.tar.xz
mirror.php: use crux.ster.zone as fallback
Diffstat (limited to 'mirror.php')
-rw-r--r--mirror.php3
1 files changed, 2 insertions, 1 deletions
diff --git a/mirror.php b/mirror.php
index 5a0daf2..08f0ca6 100644
--- a/mirror.php
+++ b/mirror.php
@@ -79,7 +79,8 @@
"( ".
"curl -Ls '".$quelle."' || ".
"curl -Ls -A 'Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Firefox/68.0' '".$quelle."' || ".
- "wget -O - '".$quelle."'; ".
+ "wget -O - '".$quelle."' || " .
+ "wget -O - 'https://crux.ster.zone/distfiles/" . basename($quelle) . "'; ".
") | ". // oder curl!
"tee \"".$pfad."\""
);