|
From: | Mohammad Akhlaghi |
Subject: | [Reproduce-devel] [task #15262] Source code downloads and Job manager |
Date: | Sun, 26 May 2019 05:50:36 -0400 (EDT) |
User-agent: | Mozilla/5.0 (Linux; Android 7.0; SM-A510F) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/71.0.3578.99 Mobile Safari/537.36 |
Follow-up Comment #6, task #15262 (project reproduce): Thanks for the check. Did you also try the `--user-agent' option to Wget (from my previous message on this task)? I agree! We need to account for a backup webserver for the software tarballs. We can use the Git server. But currently you say GitLab is also blocked in Iran!!! We can move the tarballs repository to Github as one solution. Another better solution is Zenodo. But the problem with Zenodo is that we'll need to make a new publication on every tarball! But generally, we need to do two things: * Implement a backup feature in the downloading script. * Add an option to the download script to check tarball integrity with an MD5 sum. We already do this for the downloaded dataset, but in `downliad.mk'. Once these are done we can easily set/change the backup srver URL any time. _______________________________________________________ Reply to this item at: <https://savannah.nongnu.org/task/?15262> _______________________________________________ Message sent via Savannah https://savannah.nongnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |