1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/tools/makefonts.sh Wed May 23 23:57:09 2018 +0200
1.3 @@ -0,0 +1,62 @@
1.4 +#!/bin/sh
1.5 +
1.6 +if ! which realpath > /dev/null ; then
1.7 + echo "Please install the realpath program." 1>&2
1.8 + exit 1
1.9 +fi
1.10 +
1.11 +THISDIR=`dirname "$0"`
1.12 +DIRNAME=`realpath "$THISDIR/.."`
1.13 +PROGNAME=`basename "$0"`
1.14 +
1.15 +UNIFONT='/usr/share/unifont/unifont.hex'
1.16 +
1.17 +if [ "$1" = '--help' ] ; then
1.18 + cat 1>&2 <<EOF
1.19 +Usage: $PROGNAME [ -q ]
1.20 +
1.21 +Find font usage and generate the necessary binary font files. Currently, only
1.22 +GNU Unifont is supported.
1.23 +
1.24 +The optional -q argument indicates quiet execution, suppressing all output.
1.25 +EOF
1.26 + exit 1
1.27 +fi
1.28 +
1.29 +# Detect quiet operation.
1.30 +
1.31 +if [ "$1" = '-q' ] ; then
1.32 + QUIET="$1"
1.33 + shift 1
1.34 +else
1.35 + QUIET=
1.36 +fi
1.37 +
1.38 +# Find all needed fonts and generate them.
1.39 +
1.40 +for NEEDED in `find "$DIRNAME/pkg" -name '*.tff.needed'` ; do
1.41 + TARGETDIR=`dirname "$NEEDED"`
1.42 + FONTFILE=`basename "$NEEDED" .needed`
1.43 + FONTNAME=`basename "$FONTFILE" .tff`
1.44 +
1.45 + FONTPATH="$TARGETDIR/$FONTFILE"
1.46 +
1.47 + if [ -e "$FONTPATH" ] ; then
1.48 + if [ ! "$QUIET" ] ; then
1.49 + echo "Exists, not generated: $FONTPATH" 1>&2
1.50 + fi
1.51 + continue
1.52 + fi
1.53 +
1.54 + if [ "$FONTNAME" != 'unifont' ] ; then
1.55 + if [ ! "$QUIET" ] ; then
1.56 + echo "Unrecognised ($FONTNAME), not generated: $FONTPATH" 1>&2
1.57 + fi
1.58 + continue
1.59 + fi
1.60 +
1.61 + if [ ! "$QUIET" ] ; then
1.62 + echo "$FONTPATH"
1.63 + fi
1.64 + "$THISDIR/readfont.py" "$UNIFONT" "$FONTPATH"
1.65 +done