From 8d66742dd7feec77aa30382bfb38da83f2b3e5a4 Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner Date: Fri, 22 Jan 2016 14:33:17 +0100 Subject: [PATCH] makebuildserver: set debian mirror in config file only Setting it in the config file was not working, and right now, all of the options are in the config file and not as command line flags, so remove --debian-mirror to keep that consistent. --- makebuildserver | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/makebuildserver b/makebuildserver index ca2dc56f..20bc785f 100755 --- 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 @@ -383,7 +381,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: -- 2.30.2