From 7026c9f54d638775444e99a860585482a8ec76d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thomas=20Lov=C3=A9n?= Date: Fri, 14 Jan 2022 12:00:20 +0100 Subject: [PATCH] Comments and attribution --- toolchain/build-uni_vga.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/toolchain/build-uni_vga.sh b/toolchain/build-uni_vga.sh index a22a18e..f65fd25 100755 --- a/toolchain/build-uni_vga.sh +++ b/toolchain/build-uni_vga.sh @@ -1,5 +1,8 @@ #!/bin/sh -e +# Download and convert the Unicode VGA font by Dmitry Yu. Bolkhovityanov +# https://www.inp.nsk.su/~bolkhov/files/fonts/univga/ + mkdir -p /opt/external && cd /opt/external [ -f "uni-vga.tgz" ] || wget "https://www.inp.nsk.su/~bolkhov/files/fonts/univga/uni-vga.tgz" [ -d "uni_vga" ] || tar -xf uni-vga.tgz @@ -33,7 +36,7 @@ with open("u_vga16.termfont.inc", "w") as fp: fp.write(f"unsigned char font[{127-32}][16] =") fp.write("{\n") - for codepoint in range(32, 127): + for codepoint in range(32, 127): # ONLY SAVE ASCII (for now) fp.write("\t{" + ", ".join([f"0x{v:02X}" for v in chars.get(codepoint, [])]) + "},\n") fp.write("};")