chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
makebuildserver: set default Debian mirror to http.debian.net
[fdroidserver.git]
/
examples
/
makebuildserver.config.py
diff --git
a/examples/makebuildserver.config.py
b/examples/makebuildserver.config.py
index 615029b34a742777bf448b180f4c19e27950bc9e..f2c846d5e23cd45d91930f2044b5e218430a80bd 100644
(file)
--- 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"]
# 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
# The amount of RAM the build server will have
memory = 3584