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

update basebox to fdroid/basebox-stretch64

Browse source
This commit is contained in:
Michael Pöhn 2018-09-18 12:50:22 +02:00
parent 4a69a37d8e
commit 4af9199c92
2 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
examples/makebuildserver.config.py
View file

@ -6,8 +6,10 @@
# from Vagrant Cloud. For release builds setup, generate the basebox # from Vagrant Cloud. For release builds setup, generate the basebox
# locally using https://gitlab.com/fdroid/basebox, add it to Vagrant, # locally using https://gitlab.com/fdroid/basebox, add it to Vagrant,
# then set this to the local basebox name. # 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 # In the process of setting up the build server, many gigs of files
# are downloaded (Android SDK components, gradle, etc). These are # are downloaded (Android SDK components, gradle, etc). These are

2
makebuildserver
View file

@ -55,7 +55,7 @@ cachedir = os.path.join(os.getenv('HOME'), '.cache', 'fdroidserver')
logger.debug('cachedir set to: %s', cachedir) logger.debug('cachedir set to: %s', cachedir)
config = { config = {
'basebox': 'fdroid-stretch64', 'basebox': 'fdroid/basebox-stretch64',
'debian_mirror': 'http://deb.debian.org/debian/', 'debian_mirror': 'http://deb.debian.org/debian/',
'apt_package_cache': False, 'apt_package_cache': False,
'copy_caches_from_host': False, 'copy_caches_from_host': False,