no longer build myplc-docs

[build.git] / fedora-mirror.sh

diff --git a/fedora-mirror.sh b/fedora-mirror.sh
index 08040c7..03ebb09 100755 (executable)
--- a/fedora-mirror.sh
+++ b/fedora-mirror.sh
@@ -14,10 +14,14 @@ root=/mirror/
 
 
 us_fedora_url=rsync://mirrors.kernel.org/fedora
-eu_fedora_url=rsync://mirror1.hs-esslingen.de/fedora/linux
 
-default_distroname="f35"
-all_distronames="f33 f35"
+# used to be this one
+# eu_fedora_url=rsync://mirror1.hs-esslingen.de/fedora/linux
+# browse content at https://mirror.in2p3.fr/pub/fedora/linux/releases/
+eu_fedora_url=rsync://mirror.in2p3.fr/pub/fedora/linux
+
+default_distroname="f43"
+all_distronames="f41 f43"
 
 global_arch="x86_64"
 
@@ -47,6 +51,7 @@ function mirror_distro_arch () {
     options="$options $dry_run $verbose"
     options="$options -aH --numeric-ids"
     options="$options --delete --delete-excluded"
+    options="$options --partial"
     for e in $excludelist; do
         options="$options --exclude $e"
     done