prepare_images_for_arxiv.sh

gistfile1.txt

find . -name '*.png' | while read line; do echo ${line}; convert -resize 70% ${line} ${line}.small.png; pngquant --speed 1 ${line}.small.png -o ${line}.quant.png; done
find . -name '*.small.png' | while read line; do rm $line; done
read -p "Press [Enter] if you are happy with *.quant.png images, otherwise press Ctrl-C."
find . -name '*.quant.png' | while read line; do mv ${line} ${line:0:-10}; done

for EXT in png pdf; do find -name "*.${EXT}" | while read line; do echo $line; done; done | while read line; do if ! grep -q -r --include \*.tex ${line#*/} .; then echo ${line}; rm ${line}; fi; done