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 #
  14 # or if you have a cached local copy, you can use that first:
  15 # baseboxurl = ["file:///home/fdroid/fdroidserver/cache/jessie32.box", "https://f-droid.org/jessie32.box"]
  16
  17 # To specify which Debian mirror the build server VM should use, by
  18 # default it uses http.debian.net, which auto-detects which is the
  19 # best mirror to use.
  20 #
  21 # debian_mirror = 'http://ftp.uk.debian.org/debian/'
  22
  23 # The amount of RAM the build server will have
  24 # memory = 3584
  25
  26 # The number of CPUs the build server will have
  27 # cpus = 1
  28
  29 # Debian package proxy server - if you have one
  30 # aptproxy = "http://192.168.0.19:8000"
  31
  32 # Set to True if your base box is 64 bit (e.g. testing32.box isn't)
  33 # arch64 = True