#!/usr/bin/env bash

for file
do
  echo "Converting $file:"
  convert -resize 200% $file `echo $file|cut -d. -f1`.png
done