examples/makebuildserver.config.py

   1 #!/usr/bin/env python2
   2 #
   3 # You may want to alter these before running ./makebuildserver
   4
   5 # Name of the base box to use
   6 basebox = "jessie32"
   7
   8 # Location where testing32.box can be found, if you don't already have
   9 # it. For security reasons, it's recommended that you make your own
  10 # in a secure environment using trusted media (see the manual) but
  11 # you can use this default if you like...
  12 baseboxurl = "https://f-droid.org/jessie32.box"
  13 # or if you have a cached local copy, you can use that first:
  14 # baseboxurl = ["file:///home/fdroid/fdroidserver/cache/jessie32.box", "https://f-droid.org/jessie32.box"]
  15
  16 # To specify which Debian mirror the build server VM should use, by
  17 # default it uses http.debian.net, which auto-detects which is the
  18 # best mirror to use.
  19 #
  20 # debian_mirror = 'http://ftp.uk.debian.org/debian/'
  21
  22 # The amount of RAM the build server will have
  23 memory = 3584
  24
  25 # The number of CPUs the build server will have
  26 cpus = 1
  27
  28 # Debian package proxy server - if you have one, e.g. "http://192.168.0.19:8000"
  29 aptproxy = None
  30
  31 # Set to True if your base box is 64 bit (e.g. testing32.box isn't)
  32 arch64 = False