This file is indexed.

/usr/bin/mkvgafont is in console-cyrillic 0.9-17.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 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
#!/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