diff options
| author | Erich Eckner <git@eckner.net> | 2022-05-15 08:42:46 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-05-15 08:42:46 +0200 |
| commit | 7124937abf13412f5ce81822f49628b84b55d406 (patch) | |
| tree | 46b88ba22637776ae9545a579f24bf1eae075e12 | |
| parent | 08d5a11a0806713ead3c0928123c3ceb0c296d18 (diff) | |
| download | sourceMirror-master.tar.xz | |
| -rw-r--r-- | mirror.php | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -80,7 +80,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 - 'https://crux.ster.zone/distfiles/" . basename($quelle) . "'; ". + "wget -O - 'https://crux.ster.zone/distfiles/" . basename($quelle) . "' || ". + "curl -x socks5://tor.home.eckner.net:9050/ -Ls '".$quelle."' ;" . ") | ". // oder curl! "tee \"".$pfad."\"" ); |