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

use vagrantfile instead of 'builder/Vagrantfile' in get_clean_builder()

Browse source
This commit is contained in:
Felix C. Stegerman 2021-03-10 09:12:52 +00:00
parent 77c0c8bc5a
commit 259ca51001
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/vmtools.py
View file

@ -41,7 +41,7 @@ def get_clean_builder(serverdir):
os.makedirs(serverdir) os.makedirs(serverdir)
vagrantfile = os.path.join(serverdir, 'Vagrantfile') vagrantfile = os.path.join(serverdir, 'Vagrantfile')
if not os.path.isfile(vagrantfile): if not os.path.isfile(vagrantfile):
with open(os.path.join('builder', 'Vagrantfile'), 'w') as f: with open(vagrantfile, 'w') as f:
f.write(textwrap.dedent("""\ f.write(textwrap.dedent("""\
# generated file, do not change. # generated file, do not change.