diff options
author | Lars Wirzenius <liw@liw.fi> | 2021-07-19 13:21:08 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2021-07-19 13:21:08 +0300 |
commit | bf92322f7eafdae5b7ae5a8da4486a277d01307d (patch) | |
tree | cc33ffc039c999ef5c15d24b54a13391477a38db /list_new_release_tags | |
parent | 891e1155495e5c42beafa6cfd9b518c804e9978c (diff) | |
download | obnam2-bf92322f7eafdae5b7ae5a8da4486a277d01307d.tar.gz |
test: use better way to write files in Python
"open(...).write(...)" does not necessarily close the file, and thus
flush buffered writes to disk. "with open(...)" does.
Sponsored-by: author
Diffstat (limited to 'list_new_release_tags')
-rwxr-xr-x | list_new_release_tags | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/list_new_release_tags b/list_new_release_tags index 90994ac..7b82050 100755 --- a/list_new_release_tags +++ b/list_new_release_tags @@ -41,7 +41,8 @@ def built_tags(filename): def save_built_tags(filename, tags): - return open(filename, "w").write("".join(f"{tag}\n" for tag in tags)) + with open(filename, "w") as f: + f.write("".join(f"{tag}\n" for tag in tags)) tags_filename = sys.argv[1] |