#!/bin/bash

#Transforme une image png en ico.
#Utile notamment pour créer favicon.ico
#lors du développement d'un site.

if [ $# -lt 1 -o $# -gt 2 ]
then
  echo "Usage : $0 image.png [image.ico]"
  echo " Si le 2ème paramètre est absent,"
  echo " le même nom d'image sera utilisé"
  echo " en remplaçant l'extension par .ico"
  exit 1
fi

if [ $# = 2 ]
then
  output="$2"
else
  output=${1%png}ico
fi

echo "Entrée : $1"
echo "Sortie : $output"

pngtopnm $1 | ppmtowinicon -output $output