diff options
-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."\"" ); |