diff --git a/tools/sizes.py b/tools/sizes.py index ee7219161a..da57719a95 100755 --- a/tools/sizes.py +++ b/tools/sizes.py @@ -110,9 +110,9 @@ def safe_prefix(n, length): def prefix(n, length): if n == length: - return "└──" + return "╚══" - return "├──" + return "╠══" def filter_segments(segments): @@ -159,7 +159,10 @@ def main(): number, used, segments = filter_segments(segments) print(f". {group:<8}, used {used} / {total} bytes ({percentage(used, total)})") - print("| SEGMENT BYTES DESCRIPTION") + try: + print("║ SEGMENT BYTES DESCRIPTION") + except UnicodeEncodeError: + print("| SEGMENT BYTES DESCRIPTION") for n, segment, size in segments: try: print(f"{prefix(n, number)} ", end="")