1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
#!/bin/sh
#@(#) VGA font generation from consolefont of kbd package.
if [ $# -eq 0 -o ! -f "$1" ]; then
echo Usage: $0 fontfile
echo "where fontfile must be raw 8x16 font data (like fonts used by setfont(1))"
exit 1
fi
od -t u1 $1 | awk '
BEGIN {c=0;
print "COMMENT vga"
print "STARTFONT 2.1"
print "FONT vga"
print "SIZE 16 75 75"
print "FONTBOUNDINGBOX 8 16 0 -4"
print "STARTPROPERTIES 3"
print "FONT_DESCENT 4"
print "FONT_ASCENT 12"
print "DEFAULT_CHAR 0"
print "ENDPROPERTIES"
print "CHARS 256"
}
NF<17 {}
NF==17 { printf("STARTCHAR C00%x\n",c);
print "ENCODING",c;
print "SWIDTH 666 0";
print "DWIDTH 8 0";
print "BBX 8 16 0 -4";
print "BITMAP";
for (i=2;i<=17;i++)
printf("%02x\n", $i);
print "ENDCHAR";
c++
}
END {print "ENDFONT";}
'|tee vga.bdf|bdftopcf|compress>vga.pcf.Z
|
