Switch all headers to python3

[fdroidserver.git] / examples / makebuildserver.config.py

diff --git a/examples/makebuildserver.config.py b/examples/makebuildserver.config.py
index 1d4bd0d3cca3726fe2693468e2c2a20fd9c4a001..b43777ed28f78f8c4721eea961d28fe8551b55b9 100644 (file)
--- a/examples/makebuildserver.config.py
+++ b/examples/makebuildserver.config.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python2
+#!/usr/bin/env python3
 #
 # You may want to alter these before running ./makebuildserver
 
@@ -21,13 +21,20 @@
 #
 # cachedir = 'buildserver/cache'
 
+# A big part of creating a new instance is downloading packages from Debian.
+# This setups up a folder in ~/.cache/fdroidserver to cache the downloaded
+# packages when rebuilding the build server from scratch.  This requires
+# that virtualbox-guest-utils is installed.
+#
+# apt_package_cache = True
+
 # 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
+# The amount of RAM the build server will have (default: 1024)
 # memory = 3584
 
 # The number of CPUs the build server will have
@@ -38,3 +45,9 @@
 
 # Set to True if your base box is 64 bit (e.g. testing32.box isn't)
 # arch64 = True
+
+# If this is running on an older machine or on a virtualized system,
+# it can run a lot slower. If the provisioning fails with a warning
+# about the timeout, extend the timeout here. (default: 600 seconds)
+#
+# boot_timeout = 1200