lint: check whitespaces in "Author Name"

[fdroidserver.git] / makebuildserver

diff --git a/makebuildserver b/makebuildserver
index ca2dc56ff4c01d16893fa36beddc3de8fc286d47..aeb5ebbc60fad1fc59bd4c99f5a0e60c58dc8613 100755 (executable)
--- a/makebuildserver
+++ b/makebuildserver
@@ -41,8 +41,6 @@ parser.add_option("-v", "--verbose", action="store_true", default=False,
                   help="Spew out even more information than normal")
 parser.add_option("-c", "--clean", action="store_true", default=False,
                   help="Build from scratch, rather than attempting to update the existing server")
-parser.add_option("--debian-mirror", default="http://http.debian.net/debian/",
-                  help="Use the specified Debian mirror in the box's /etc/apt/sources.list.")
 options, args = parser.parse_args()
 
 # set up default config
@@ -55,6 +53,8 @@ config = {
         'file://' + os.path.join(cachedir, 'jessie32.box'),
         'https://f-droid.org/jessie32.box',
     ],
+    'debian_mirror': 'http://http.debian.net/debian/',
+    'boot_timeout': 600,
     'cachedir': cachedir,
     'cpus': 1,
     'memory': 3584,
@@ -354,11 +354,14 @@ Vagrant.configure("2") do |config|
     v.customize ["modifyvm", :id, "--cpus", "{3}"]
   end
 
+  config.vm.boot_timeout = {4}
+
   config.vm.provision :shell, :path => "fixpaths.sh"
 """.format(config['basebox'],
            baseboxurl,
            config['memory'],
-           config.get('cpus', 1))
+           config.get('cpus', 1),
+           config['boot_timeout'])
 if 'aptproxy' in config and config['aptproxy']:
     vagrantfile += """
   config.vm.provision :shell, :inline => 'sudo echo "Acquire::http {{ Proxy \\"{0}\\"; }};" > /etc/apt/apt.conf.d/02proxy && sudo apt-get update'
@@ -383,7 +386,7 @@ vagrantfile += """
     chef.add_recipe "kivy"
   end
 end
-""" % (options.debian_mirror)
+""" % (config['debian_mirror'])
 
 # Check against the existing Vagrantfile, and if they differ, we need to
 # create a new box: