images/smilies/convert.sh
author Dan
Wed, 19 Dec 2007 17:15:48 -0500
changeset 325 e17cc42d77cf
parent 0 902822492a68
permissions -rw-r--r--
Fixed: $paths->page_id not set when the page doesn't exist; finally fixed garbled page names for IP addresses

#!/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