chiark / gitweb /
Tidy up/fix some vagrant issues
authorCiaran Gultnieks <ciaran@ciarang.com>
Tue, 26 Jan 2016 22:01:28 +0000 (22:01 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Tue, 26 Jan 2016 22:05:31 +0000 (22:05 +0000)
commit3629437b098dceaf068985af54bee7a2acfd6237
treea3cd336f2482da99566940ece53f93fd5516d8dd
parentf6b9e46246041267bfaf206c3d2c9f2fbc772acc
Tidy up/fix some vagrant issues

1. It is packaged in modern versions of distros, update docs accordingly
2. 1.1 is hopelessly outdated - support 1.4 onwards
3. Check the version properly, and write a better config (previously it
   wrote the 1.1 config for 1.1 and 1.3+
4. Ensure that the default share from later versions is not present when
   building, it's only required for provisioning.
docs/fdroid.texi
fdroidserver/build.py