1
0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-06-30 14:40:09 +02:00

mirror-to-mirror.sh: replace mirror.f-droid.org with ftp.agdsn.de

* ftp.agdsn.de is a new official mirror that receives push updates.
* mirror.f-droid.org is no more, it is now a DNS round robin redirector.

admin#247
admin#298

[skip ci]
This commit is contained in:
Hans-Christoph Steiner 2022-05-02 14:20:57 +02:00
parent cfeeaff4c7
commit 23d9f0ed50
No known key found for this signature in database
GPG Key ID: 3E177817BA1B9BFA

View File

@ -15,7 +15,7 @@ set -e
cd /home/fdroid
for section in repo archive; do
echo "Started $section at `date`:"
for host in fdroid@ftp-push.lysator.liu.se fdroid@plug-mirror.rcac.purdue.edu fdroid@mirror.f-droid.org; do
for host in fdroid@ftp-push.lysator.liu.se fdroid@plug-mirror.rcac.purdue.edu fdroid@ftp.agdsn.de; do
set -x
# be super careful with the trailing slashes here! if one is wrong, it'll delete the entire section!
rsync --archive --delay-updates --progress --delete \