summaryrefslogtreecommitdiff
path: root/list_new_release_tags
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2021-07-19 13:21:08 +0300
committerLars Wirzenius <liw@liw.fi>2021-07-19 13:21:08 +0300
commitbf92322f7eafdae5b7ae5a8da4486a277d01307d (patch)
treecc33ffc039c999ef5c15d24b54a13391477a38db /list_new_release_tags
parent891e1155495e5c42beafa6cfd9b518c804e9978c (diff)
downloadobnam2-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-xlist_new_release_tags3
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]