#!/bin/bash

# simple script courtsy david miller aka smartboy to make favicons

[ -z "$2" ] && \
 echo "usage $0 (url|filename)_of_img (gif|png|jpg)\n creates favicon.ico" \
 && exit 

echo $1 | grep -q http && \
  eval $2topnm <(wget -O - -q "$1") | ppmtowinicon -output favicon.ico || \
  eval $2topnm $1 | ppmtowinicon -output favicon.ico