From 4af9199c9205b201d8c71d297d9dd4307ee83ea1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20P=C3=B6hn?= Date: Tue, 18 Sep 2018 12:50:22 +0200 Subject: [PATCH] update basebox to fdroid/basebox-stretch64 --- examples/makebuildserver.config.py | 4 +++- makebuildserver | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/examples/makebuildserver.config.py b/examples/makebuildserver.config.py index 7706c487..679732b7 100644 --- a/examples/makebuildserver.config.py +++ b/examples/makebuildserver.config.py @@ -6,8 +6,10 @@ # from Vagrant Cloud. For release builds setup, generate the basebox # locally using https://gitlab.com/fdroid/basebox, add it to Vagrant, # then set this to the local basebox name. +# This defaults to "fdroid/basebox-stretch64" which will download a +# prebuilt basebox from https://app.vagrantup.com/fdroid. # -# basebox = "fdroid-stretch64" +# basebox = "basebox-stretch64" # In the process of setting up the build server, many gigs of files # are downloaded (Android SDK components, gradle, etc). These are diff --git a/makebuildserver b/makebuildserver index e681300a..739eaa5f 100755 --- a/makebuildserver +++ b/makebuildserver @@ -55,7 +55,7 @@ cachedir = os.path.join(os.getenv('HOME'), '.cache', 'fdroidserver') logger.debug('cachedir set to: %s', cachedir) config = { - 'basebox': 'fdroid-stretch64', + 'basebox': 'fdroid/basebox-stretch64', 'debian_mirror': 'http://deb.debian.org/debian/', 'apt_package_cache': False, 'copy_caches_from_host': False,