From 3e396b3782813d36d46195564cd0e111422bcaf5 Mon Sep 17 00:00:00 2001 From: Daniel Mensinger Date: Tue, 22 Jun 2021 22:59:16 +0200 Subject: fix: Always explicitly set encoding for text files (fixes #8263) --- tools/gen_data.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tools/gen_data.py') diff --git a/tools/gen_data.py b/tools/gen_data.py index 9affc660f..b1c62e035 100755 --- a/tools/gen_data.py +++ b/tools/gen_data.py @@ -107,7 +107,7 @@ def main() -> int: def write_once(self, path: Path) -> None: if not path.exists(): - path.write_text(self.data) + path.write_text(self.data, encoding='utf-8') def write_to_private(self, env: 'Environment') -> Path: out_file = Path(env.scratch_dir) / 'data' / self.path.name @@ -133,7 +133,7 @@ def main() -> int: ''') print(f'Updating {out_file}') - out_file.write_text(data) + out_file.write_text(data, encoding='utf-8') return 0 if __name__ == '__main__': -- cgit v1.2.3