2015-05-23 13:35:12 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
N=0
|
|
|
|
HEIGHT=16
|
|
|
|
FONTFILE="8x16std"
|
|
|
|
|
|
|
|
(
|
2017-09-09 22:03:17 +02:00
|
|
|
echo -e "// vgafont.h\\n"
|
2017-04-09 20:08:53 +02:00
|
|
|
echo -e "#ifndef FVGAFONT_H"
|
2017-09-09 22:03:17 +02:00
|
|
|
echo -e "#define FVGAFONT_H\\n"
|
2018-09-20 23:59:01 +02:00
|
|
|
echo -e "namespace finalcut\\n{\\n"
|
2017-12-17 01:06:53 +01:00
|
|
|
echo -e "namespace fc\\n{\\n"
|
2015-05-23 13:35:12 +02:00
|
|
|
|
|
|
|
xxd -g 1 -i -c $HEIGHT $FONTFILE \
|
|
|
|
| sed -e 's/ {$/\n{/' \
|
|
|
|
| sed -e 's/^unsigned/static unsigned/' \
|
|
|
|
| sed -e '/len = /d' \
|
2016-04-02 18:35:34 +02:00
|
|
|
| while IFS=$'\n'; read -r LINE
|
2015-05-23 13:35:12 +02:00
|
|
|
do
|
|
|
|
if [ "${LINE:0:1}" != " " ]
|
|
|
|
then
|
|
|
|
echo "$LINE"
|
|
|
|
else
|
|
|
|
echo "$LINE /* $N */" | sed -e 's/\([0-9]\) \/\*/\1 \/*/'
|
2017-11-26 19:00:04 +01:00
|
|
|
(( N++ ))
|
2015-05-23 13:35:12 +02:00
|
|
|
fi
|
|
|
|
done
|
|
|
|
|
2017-12-17 01:06:53 +01:00
|
|
|
echo -e "\\n} // namespace fc"
|
2018-09-20 23:59:01 +02:00
|
|
|
echo -e "\\n} // namespace finalcut"
|
2017-09-09 22:03:17 +02:00
|
|
|
echo -e "\\n#endif // FVGAFONT_H"
|
2015-05-23 13:35:12 +02:00
|
|
|
) > vgafont.h
|