#! /bin/csh
###########################################################################
#
#   Conversion des plans de positions de campagne scannerises en tif
#   au format gif en reduisant l'image a 400 pixels X 400 pixels
#
#   Tous les plans de positions de la directory specifiee en argument
#    sont convertis
#   Les fichiers originaux ne sont pas touches
#   Les fichiers gif sont crees sous la directory specifiee en argument
#
#   Utilisation : plptiftogif directory
#
#   Remarque : ne tourne que sur romeo ou juliett (place memoire)
#
##########################################################################
if ( $#argv != 1) then
   echo "Usage : plptiftogif directory"
   exit(1)
endif
set dir=$argv[1]
#
foreach fic (`ls $dir/*.tif`)
   set nomfic=`echo $fic | sed -e 's/....$//'`
   echo Conversion du fichier $nomfic.tif en $nomfic.gif
   convert -colors 16 -geometry 400X400 $nomfic.tif $nomfic.gif
end