chiark / gitweb /
makebuildserver: set default Debian mirror to http.debian.net
[fdroidserver.git] / examples / makebuildserver.config.py
index 615029b34a742777bf448b180f4c19e27950bc9e..f2c846d5e23cd45d91930f2044b5e218430a80bd 100644 (file)
@@ -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