|
|
1.1 root 1:
2: SCRIPT=awk.script
3: KERN=KERNING
4: DEBUG=OFF
5: REPLACE=OFF
6: SILENT=ON
7:
8: for i do
9: case $i in
10: -S*) SCRIPT=`echo $i | sed s/-S//`
11: shift;;
12:
13: -K*) KERN=`echo $i | sed s/-K//`
14: shift;;
15:
16: -D*) DEBUG=ON
17: shift;;
18:
19: -R*) REPLACE=ON
20: shift;;
21:
22: -s) SILENT=OFF
23: shift;;
24:
25: *) break;;
26: esac
27: done
28:
29: for i do
30: if [ "$SILENT" = OFF ]; then
31: echo "Building new $i font file:"
32: fi
33: awk -f $SCRIPT $KERN $i > $i.fix
34: if [ "$DEBUG" = ON ]; then
35: echo "\nChecking $i font file:"
36: diff $i.fix $i
37: continue
38: fi
39: if [ "$REPLACE" = ON ]; then
40: mv $i.fix $i
41: fi
42: done
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.