One Hat Cyber Team

Your IP: 216.73.216.133
Server IP: 185.119.109.197
Server: Linux managedhosting.chostar.me 5.15.0-160-generic #170-Ubuntu SMP Wed Oct 1 10:06:56 UTC 2025 x86_64
Server Software: Apache
PHP Version: 8.1.33
Buat File | Buat Folder

Dir : ~/usr/share/groff/1.22.4/font/devdvi/generate/

View File Name : CompileFonts

#! /bin/sh
# Compile fonts in the sizes needed by groff.
sizes="5 6 7 8 9 10 10.95 12 14 14.40 16 17.28 18 20 20.74 22 24 24.88 28 36"
fonts="cmr10 cmti10 cmbx10 cmbxti10 cmtt10 cmex10 cmmi10 cmsy10 cmss10 cmssbx10 cmssi10"
mode=cx
dpi=300

for f in $fonts; do
    for s in $sizes; do
	virmf "&cm \\mode=$mode; mag=$s/10; batchmode; input $f" >/dev/null
	mag=`expr $s \* $dpi / 10`
	gftopk $f.${mag}gf >/dev/null
	rm $f.${mag}gf
    done
done