# You may want to alter these before running ./makebuildserver
# Name of the base box to use
-basebox = "jessie32"
+# basebox = "jessie32"
# Location where testing32.box can be found, if you don't already have
# it. For security reasons, it's recommended that you make your own
# in a secure environment using trusted media (see the manual) but
# you can use this default if you like...
-baseboxurl = "https://f-droid.org/jessie32.box"
+# 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"]
# debian_mirror = 'http://ftp.uk.debian.org/debian/'
# The amount of RAM the build server will have
-memory = 3584
+# memory = 3584
# The number of CPUs the build server will have
-cpus = 1
+# cpus = 1
-# Debian package proxy server - if you have one, e.g. "http://192.168.0.19:8000"
-aptproxy = None
+# Debian package proxy server - if you have one
+# aptproxy = "http://192.168.0.19:8000"
# Set to True if your base box is 64 bit (e.g. testing32.box isn't)
-arch64 = False
+# arch64 = True
help="Use the specified Debian mirror in the box's /etc/apt/sources.list.")
options, args = parser.parse_args()
-config = {}
+# set up default config
+config = {
+ 'arch64': False,
+ 'basebox': 'jessie32',
+ 'baseboxurl': 'https://f-droid.org/jessie32.box',
+ 'cpus': 1,
+ 'memory': 3584,
+}
# load config file, if present
if os.path.exists('makebuildserver.config.py'):