[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bdtheme-dev] Re: bdtheme: GIF files
From: |
mathieu |
Subject: |
[Bdtheme-dev] Re: bdtheme: GIF files |
Date: |
Thu, 4 Apr 2002 10:39:31 +0200 |
Le jeu 04 avr 2002 à 10h20, address@hidden a écrit :
Hi,
Could you please remove the following GIF files from the project
bdtheme hosted on the GNU machines ?
Sorry, it will be done in this morning.
while read file
do
gif2png -O $file.gif
cvs delete -f $file.gif
cvs add $file.png
done <<'EOF'
bdtheme/tof/1/fond-d
bdtheme/tof/1/fond-pasrouge-d
bdtheme/tof/2/fond-d
bdtheme/tof/2/fond-pasrouge-d
bdtheme/tof/cadre-bd
bdtheme/tof/cadre-bg
bdtheme/tof/cadre-h
bdtheme/tof/cadre-hd
bdtheme/tof/cadre-hg
bdtheme/tof/fleche-arriere-curs
bdtheme/tof/fleche-arriere-gris
bdtheme/tof/fleche-arriere
bdtheme/tof/fleche-avant-curs
bdtheme/tof/fleche-avant-gris
bdtheme/tof/fleche-avant
bdtheme/tof/fond-pasrouge-d
bdtheme/tof/hr
bdtheme/tof/moins
bdtheme/tof/plus
EOF
cvs commit -m 'Convert GIF to PNG'
For additional information please write to
address@hidden
Thanks for your help,
The GNU volunteers, address@hidden
--
mathieu
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Bdtheme-dev] Re: bdtheme: GIF files,
mathieu <=