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("};")