Write the given version number to the given _version.py file.
(filename, versions)
| 1405 | |
| 1406 | |
| 1407 | def write_to_version_file(filename, versions): |
| 1408 | """Write the given version number to the given _version.py file.""" |
| 1409 | os.unlink(filename) |
| 1410 | contents = json.dumps(versions, sort_keys=True, |
| 1411 | indent=1, separators=(",", ": ")) |
| 1412 | with open(filename, "w") as f: |
| 1413 | f.write(SHORT_VERSION_PY % contents) |
| 1414 | |
| 1415 | print("set %s to '%s'" % (filename, versions["version"])) |
| 1416 | |
| 1417 | |
| 1418 | def plus_or_dot(pieces): |