chiark / gitweb /
Document makebuildserver settings a bit better
authorCiaran Gultnieks <ciaran@ciarang.com>
Wed, 5 Jun 2013 12:45:31 +0000 (13:45 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Wed, 5 Jun 2013 12:45:31 +0000 (13:45 +0100)
makebuildserver.py

index 4d660cceaa0c7241ba1cb93d506e03085a9fd47a..b47a8c11743736faab6985630faef5e224a14fb5 100755 (executable)
@@ -6,13 +6,21 @@ import subprocess
 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"
+# 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"
 memory = 3584
+# Debian package proxy server - set this to None unless you have one...
 aptproxy = "http://192.168.0.19:8000"
+# Set to True if your base box is 64 bit...
 arch64 = False
 
+# End of settings.
 
 
 def vagrant(params, cwd=None, printout=False):