X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=examples%2Fmakebuildserver.config.py;h=f2c846d5e23cd45d91930f2044b5e218430a80bd;hb=50713c7ce96203e7297e16848919ca2009a21d85;hp=615029b34a742777bf448b180f4c19e27950bc9e;hpb=b33add9ce7574b0dff069193a87aeea9d76c146d;p=fdroidserver.git

diff --git a/examples/makebuildserver.config.py b/examples/makebuildserver.config.py
index 615029b3..f2c846d5 100644
--- a/examples/makebuildserver.config.py
+++ b/examples/makebuildserver.config.py
@@ -13,6 +13,12 @@ baseboxurl = "https://f-droid.org/jessie32.box"
 # or if you have a cached local copy, you can use that first:
 # baseboxurl = ["file:///home/fdroid/fdroidserver/cache/jessie32.box", "https://f-droid.org/jessie32.box"]
 
+# To specify which Debian mirror the build server VM should use, by
+# default it uses http.debian.net, which auto-detects which is the
+# best mirror to use.
+#
+# debian_mirror = 'http://ftp.uk.debian.org/debian/'
+
 # The amount of RAM the build server will have
 memory = 3584