mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-04 22:40:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Document makebuildserver settings a bit better

Browse source
This commit is contained in:
Ciaran Gultnieks 2013-06-05 13:45:31 +01:00
parent 68df47779d
commit 8a236ea1c8
1 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

10
makebuildserver.py
View file

@ -6,13 +6,21 @@ import subprocess
import time import time
# Settings, which need to be moved elsewhere ultimately... # Settings, which need to be moved elsewhere ultimately. You will need
# to alter these before running.
# Name of the base box to use...
basebox = "raring32" basebox = "raring32"
# Location where raring32.box can be found, if you don't already have
# it. Could be set to https://f-droid.org/raring32.box if you like...
baseboxurl = "/shares/software/OS and Boot/raring32.box" baseboxurl = "/shares/software/OS and Boot/raring32.box"
memory = 3584 memory = 3584
# Debian package proxy server - set this to None unless you have one...
aptproxy = "http://192.168.0.19:8000" aptproxy = "http://192.168.0.19:8000"
# Set to True if your base box is 64 bit...
arch64 = False arch64 = False
# End of settings.
def vagrant(params, cwd=None, printout=False): def vagrant(params, cwd=None, printout=False):