images/smilies/render-smilies.sh
author Dan
Sat, 16 May 2009 02:00:20 +0000
changeset 999 61d492c43e5f
parent 944 073a42e4177f
permissions -rw-r--r--
Fixed two bugs: PluginManager: forgot to import cache; PageManager: now queries pages with buffered query (temporary fix)

#!/bin/bash
for f in *.svg; do
    echo Converting $f
    fname=`echo $f | cut -d '.' -f 1`
    rm -f $fname.png
    inkscape -z -f $f -w 22 -h 22 -e ./$fname.png
done