diff options
Diffstat (limited to 'font_api/tools/make_font_lua.sh')
-rwxr-xr-x | font_api/tools/make_font_lua.sh | 71 |
1 files changed, 0 insertions, 71 deletions
diff --git a/font_api/tools/make_font_lua.sh b/font_api/tools/make_font_lua.sh deleted file mode 100755 index e858360..0000000 --- a/font_api/tools/make_font_lua.sh +++ /dev/null @@ -1,71 +0,0 @@ -#!/bin/bash - -scriptname=$(basename $0) -identify="identify" - -usage() { - echo "Usage: $0 fontname" - echo "fontname: The name of the font. Must correspond to existing texture/font_<fontname>_????.png files" -} - -if [ $# -ne 1 ] -then - usage - exit 1 -fi - -font_name=$1 - -for f in textures/font_${font_name}_????.png -do - if [[ $f =~ textures/font_${font_name}_([0-9a-fA-F]{4}).png ]] - then - code=$((16#${BASH_REMATCH[1]})) - size=$(identify $f | cut -d " " -f 3) - w=$(echo $size | cut -d "x" -f 1) - h=$(echo $size | cut -d "x" -f 2) - - if [ -z "$font_height" ] - then - font_height=$h - else - if [ $font_height -ne $h ] - then - echo "Error : $f as height of $h pixels, previous textures have a height of $font_height pixels. All textures should have the same height." - fi - fi - - if [ -z "$font_widths" ] - then - font_widths="[$code]=$w" - else - font_widths="$font_widths, [$code]=$w" - fi - fi -done - -echo "--[[ - -$luafile generated by $scriptname $(LANG=en_US date) - ---]] - -font_api.register_font( - '$font_name', - { - height = $font_height, - widths = { - $font_widths - }, - } -); -" > font_$font_name.lua - -if grep -q font_api depends.txt &>/dev/null -then - echo "font_api already in depends.txt." -else - echo "adding font_api to depends.txt." - echo "font_api" >> depends.txt -fi - |