|
|
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.