Write the given version number to the given _version.py file.
(filename, versions)
| 1416 | |
| 1417 | |
| 1418 | def write_to_version_file(filename, versions): |
| 1419 | """Write the given version number to the given _version.py file.""" |
| 1420 | os.unlink(filename) |
| 1421 | contents = json.dumps(versions, sort_keys=True, indent=1, separators=(",", ": ")) |
| 1422 | with open(filename, "w") as f: |
| 1423 | f.write(SHORT_VERSION_PY % contents) |
| 1424 | |
| 1425 | print("set %s to '%s'" % (filename, versions["version"])) |
| 1426 | |
| 1427 | |
| 1428 | def plus_or_dot(pieces): |