scienceoss.com

Here’s a step-by-step tutorial of creating a screencast, converting it into an .flv file, and uploading it to your site with an embedded Flash player. (more…)

Convert all eps files into jpeg copies in current directory and lower.

#!/usr/bin/bash
for f in $(find -type f -iname '*.eps')
do
     dest=`echo ${f%.*}`
     echo "${f} to ${dest}.jpg"
     convert "${f}" "${dest}.jpg"
done