mirror of
https://gitlab.com/fdroid/fdroidserver.git
synced 2024-10-03 17:50:11 +02:00
makebuildserver: use jessie32.box from cache, if present
This commit is contained in:
parent
1ff4f63de3
commit
82e26cf59e
@ -46,11 +46,16 @@ parser.add_option("--debian-mirror", default="http://http.debian.net/debian/",
|
|||||||
options, args = parser.parse_args()
|
options, args = parser.parse_args()
|
||||||
|
|
||||||
# set up default config
|
# set up default config
|
||||||
|
cachedir = os.path.join(os.getenv('HOME'), '.cache', 'fdroidserver')
|
||||||
config = {
|
config = {
|
||||||
'arch64': False,
|
'arch64': False,
|
||||||
'basebox': 'jessie32',
|
'basebox': 'jessie32',
|
||||||
'baseboxurl': 'https://f-droid.org/jessie32.box',
|
# TODO in py3, convert this to pathlib.Path(absolute_path_string).as_uri()
|
||||||
'cachedir': os.path.join(os.getenv('HOME'), '.cache', 'fdroidserver'),
|
'baseboxurl': [
|
||||||
|
'file://' + os.path.join(cachedir, 'jessie32.box'),
|
||||||
|
'https://f-droid.org/jessie32.box',
|
||||||
|
],
|
||||||
|
'cachedir': cachedir,
|
||||||
'cpus': 1,
|
'cpus': 1,
|
||||||
'memory': 3584,
|
'memory': 3584,
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user