diff options
Diffstat (limited to 'scripts/newbitmaps/strings/build_font')
| -rwxr-xr-x | scripts/newbitmaps/strings/build_font | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/newbitmaps/strings/build_font b/scripts/newbitmaps/strings/build_font index 50f483b1..59fb05c5 100755 --- a/scripts/newbitmaps/strings/build_font +++ b/scripts/newbitmaps/strings/build_font @@ -10,6 +10,7 @@ SCRIPT_DIR="$(dirname "$SCRIPT")" GLYPHS='* 0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ{}-_' COLOR="#888888" FONT="Droid Sans Bold" +MARGIN="3" die() { echo "ERROR: $*" >&2 @@ -35,6 +36,11 @@ main() { echo "Converting glyph images..." "$SCRIPT_DIR/text_to_png" --margin=0 --font="$FONT" --color="$COLOR" \ "$output/*.txt" + + echo "Adding vertical margin to images..." + for i in $output/*.png; do + convert $i -bordercolor white -border 0x$MARGIN $i + done } set -e |