added 'mirrors' option to config for giving official mirror URLs

[fdroidserver.git] / examples / config.py

diff --git a/examples/config.py b/examples/config.py
index 147b73862fe2af468599ebcbf0c2bf041a7747e0..54c326fe584736f3d0731f40dfc49e58222e5aa3 100644 (file)
--- a/examples/config.py
+++ b/examples/config.py
@@ -1,10 +1,11 @@
 #!/usr/bin/env python2
+# -*- coding: utf-8 -*-
 
 # Copy this file to config.py, then amend the settings below according to
 # your system configuration.
 
 # Custom path to the Android SDK, defaults to $ANDROID_HOME
-# sdk_path = "/opt/android-sdk"
+# sdk_path = "$ANDROID_HOME"
 
 # Custom paths to various versions of the Android NDK, defaults to 'r10e' set
 # to $ANDROID_NDK. Most users will have the latest at $ANDROID_NDK, which is
@@ -15,8 +16,15 @@
 #     'r10e': "$ANDROID_NDK",
 # }
 
+# If you want to build apps that use retrolambda and Java 1.8, you'll need to
+# have both 1.7 and 1.8 installed.
+# java_paths = {
+#     '1.7': "/usr/lib/jvm/java-7-openjdk",
+#     '1.8': None,
+# }
+
 # Build tools version to be used
-# build_tools = "23.0.1"
+# build_tools = "23.0.2"
 
 # Command or path to binary for running Ant
 # ant = "ant"
@@ -141,6 +149,18 @@ The repository of older versions of applications from the main demo repository.
 #     'bar.info:/var/www/fdroid',
 #     }
 
+# Any mirrors of this repo, for example all of the servers declared in
+# serverwebroot, will automatically be used by the client.  If one
+# mirror is not working, then the client will try another.  If the
+# client has Tor enabled, then the client will prefer mirrors with
+# .onion addresses. This base URL will be used for both the main repo
+# and the archive, if it is enabled.  So these URLs should end in the
+# 'fdroid' base of the F-Droid part of the web server like serverwebroot.
+#
+# mirrors = {
+#     'https://foo.bar/fdroid',
+#     'http://foobarfoobarfoobar.onion/fdroid',
+# }
 
 # optionally specific which identity file to use when using rsync over SSH
 #