From 90240e6939ae19c947ed8ddae032e1db7c41c050 Mon Sep 17 00:00:00 2001 From: ben9986 <38633150+Ben9986@users.noreply.github.com> Date: Sat, 7 Dec 2024 00:37:27 +0000 Subject: [PATCH] nerd-fonts: update.py correctly decode ascii chars --- pkgs/data/fonts/nerd-fonts/update.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/data/fonts/nerd-fonts/update.py b/pkgs/data/fonts/nerd-fonts/update.py index 315609da9bf887..4e089665b1f27a 100755 --- a/pkgs/data/fonts/nerd-fonts/update.py +++ b/pkgs/data/fonts/nerd-fonts/update.py @@ -28,7 +28,7 @@ def fetchjson(url): def storejson(path, obj): with open(path, "w", encoding="utf-8") as f: - json.dump(obj, f, indent=2) + json.dump(obj, f, indent=2, ensure_ascii = False) # Needed to satisfy EditorConfig's rules f.write('\n')