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 diff --git a/makebuildserver b/makebuildserver index 9695ba2c..4fc9a28d 100755 --- a/makebuildserver +++ b/makebuildserver @@ -41,7 +41,7 @@ parser.add_option("-v", "--verbose", action="store_true", default=False, help="Spew out even more information than normal") parser.add_option("-c", "--clean", action="store_true", default=False, help="Build from scratch, rather than attempting to update the existing server") -parser.add_option("--debian-mirror", default="http://ftp.uk.debian.org/debian/", +parser.add_option("--debian-mirror", default="http://http.debian.net/debian/", help="Use the specified Debian mirror in the box's /etc/apt/sources.list.") options, args = parser.parse_args()